共 50 条
- [21] A Novel Physical Synthesis Methodology in the VLSI Design Automation by Introducing Dynamic Library Concept [J]. 2013 INTERNATIONAL SYMPOSIUM ON ELECTRONIC SYSTEM DESIGN (ISED), 2013, : 103 - 107
- [22] Generic Automation for the Coq Proof Assistant: Design and Principles [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (210): : 2 - 2
- [23] Orthogonal drawings of graphs for the automation of VLSI circuit design [J]. J Comput Sci Technol, 5 (447-459):
- [24] On Using Tabu Search for Design Automation of VLSI Systems [J]. Journal of Heuristics, 2003, 9 : 75 - 90
- [27] Algorithms for VLSI design automation by Sabih H Gerez [J]. Computer Systems Science and Engineering, 2001, 16 (01):
- [28] Global placement techniques for VLSI physical design automation [J]. COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2002, : 243 - 247
- [30] DESIGN AUTOMATION CONFERENCE ROUNDTABLE - THE FUTURE OF THE VLSI WORKSTATION [J]. IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (05): : 100 - 105