共 50 条
- [3] A Methodology for High-level Software Specification Construction Software Engineering Notes, 20 (02):
- [4] SOFTWARE TECHNIQUES IN ADA FOR HIGH-LEVEL HARDWARE DESCRIPTIONS IEEE CIRCUITS & DEVICES, 1986, 2 (02): : 32 - 47
- [6] A complete specification and implementation methodology for high-level hardware transformations ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 520 - 523
- [9] High-level design of embedded hardware-software systems AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (05): : 63 - 70
- [10] High-level test generation for hardware testing and software validation EIGHTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2003, : 143 - 148