共 50 条
- [42] Guided Policy Search using Sequential Convex Programming for Initialization of Trajectory Optimization Algorithms [J]. 2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 3572 - 3578
- [43] Functional verification of digital circuits using a software system [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, 2008, : 152 - 157
- [46] Quaternary Sequential Circuits [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (07): : 110 - 117
- [47] Optimizing Quantum Circuits for Arbitrary State Synthesis and Initialization [J]. 34TH IEEE INTERNATIONAL SYSTEM ON CHIP CONFERENCE (SOCC), 2021, : 19 - 24
- [48] Establishing latch correspondence for sequential circuits using distinguishing signatures [J]. Integr VLSI J, 1 (33-46):
- [49] Establishing latch correspondence for sequential circuits using distinguishing signatures [J]. 40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 472 - 476
- [50] Interfacing Software Libraries from Nondeterministic Prototypes [J]. Design Automation for Embedded Systems, 2003, 8 : 327 - 343