共 50 条
- [1] Sequential optimization with retiming and resynthesis [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 736 - 740
- [2] Sequential Engineering Change Order under Retiming and Resynthesis [J]. 2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2017, : 109 - 116
- [3] Optimizing sequential verification by retiming transformations [J]. 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 601 - 606
- [5] Optimizing sequential cycles through Shannon decomposition and retiming [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1084 - +
- [8] On the optimization power of retiming and resynthesis transformations [J]. 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 402 - 407
- [9] On some transformation invariants under retiming and resynthesis [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 413 - 428
- [10] Inductive equivalence checking under retiming and resynthesis [J]. IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 326 - 333