共 50 条
- [1] A new method for design of robust digital circuits [J]. 6TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2005, : 676 - 681
- [2] A new method for reuse-driven design of digital circuits [J]. PROCEEDINGS OF THE IEEE 1999 CUSTOM INTEGRATED CIRCUITS CONFERENCE, 1999, : 407 - 410
- [3] A developmental method for growing graphs and circuits [J]. EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS, 2003, 2606 : 93 - 104
- [4] Scalable Method to Find the Shortest Path in a Graph with Circuits of Memristors [J]. PHYSICAL REVIEW APPLIED, 2018, 10 (06):
- [7] METHOD OF DIGITAL COMPUTATION OF THYRISTOR SWITCHING CIRCUITS [J]. PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1971, 118 (08): : 993 - &
- [9] Formalization of digital circuits using the B method [J]. COMPUTERS IN RAILWAYS VIII, 2002, 13 : 691 - 700
- [10] TESTING DIGITAL CIRCUITS WITH EQUIVALENCE-METHOD [J]. NACHRICHTENTECHNISCHE ZEITSCHRIFT, 1975, 28 (07): : 221 - 226