共 50 条
- [1] An RTL design-space exploration method for high-level applications PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 162 - 167
- [3] An RTL design-space exploration method for high-level applications IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11): : 2648 - 2654
- [7] Towards an automatic diagnosis for high-level design validation INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 1010 - 1018
- [9] Verification of RTL generated from scheduled behavior in a high-level synthesis flow 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 517 - 524
- [10] Tutorial - Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 69 - 70