[IEEE Comput. Soc. Press Tenth Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA (27-30 March 1991)] [1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications - MOVE: model verification system
- 作者Kang, S.; Szygenda, S.A.
- 文件大小574.92KB
- 发表时间1991
- DOI10.1109/pccc.1991.113891
- 页码762-768
[IEEE Comput. Soc. Press EURO-DAC '92: European Design Automation Conference - Hamburg, Germany (7-10 Sept. 1992)] Proceedings EURO-DAC '92: European Design Automation Conference - New design error modeling and metrics for design validationKang, S.; Szygenda, S.A. · 1992
[IEEE Comput. Soc. Press 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors - Cambridge, MA, USA (11-14 Oct. 1992)] Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors - Modelling and simulation of design errorsKang, S.; Szygenda, S.A. · 1992
[IEEE [1992] Proceedings. Fifth Annual IEEE International ASIC Conference and Exhibit - Rochester, NY, USA (21-25 Sept. 1992)] [1992] Proceedings. Fifth Annual IEEE International ASIC Conference and Exhibit - Automatic error pattern generation for design error detection in a design validation simulation systemKang, S.; Szygenda, S.A. · 1992