Integrated circuits - Very large scale integration - Computer-aided design.

Algorithms for VLSI physical design automation by: (書目-語言資料,印刷品)

Principles of verifiable RTL design = a functional coding style supporting verification processes in Verilog / by: (書目-語言資料,印刷品)

Practical Problems in VLSI Physical Design Automation by: (書目-語言資料,印刷品)

Timing by: (書目-語言資料,印刷品)

Verification by error modeling : = using testing techniques in hardware verification by: (書目-語言資料,印刷品)

Formal hardware verification = methods and systems in comparison / by: (書目-語言資料,印刷品)

Algorithms for VLSI physical design automation by: (書目-語言資料,印刷品)

Principles of verifiable RTL design = a functional coding style supporting verification processes in Verilog / by: (書目-語言資料,印刷品)