搜索结果: 1-2 共查到“电子科学与技术 VERIFICATION”相关记录2条 . 查询时间(0.042 秒)
Functional Verification of Arithmetic Circuits using Linear Algebra Methods
Functional Verification Arithmetic Circuits Linear Algebra SMT Arithmetic bit-level Equivalence checking
2014/12/8
This thesis describes an efficient method for speeding up functional verification of arithmetic circuits namely linear network such as wallace trees, counters using linear algebra techniques. The circ...
Temperature Verification of Hybrid Microelectronic Circuit Design
Temperature Verification Hybrid Microelectronic Circuit Design
2010/12/27
The paper includes temperature measurement results on hybrid microelectronic circuit surfaces carried out by infrared microscope with special attention to critical temperatures (hot spots) which may r...