共 50 条
- [22] HARDWARE DESCRIPTION LANGUAGE FOR SPECIFICATION OF DIGITAL-SYSTEMS MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 151 - 155
- [23] SPECIFICATION OF DIGITAL-SYSTEMS WITH HARDWARE DESCRIPTION LANGUAGE SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 383 - 389
- [24] Hardware-software coverification of distributed embedded systems INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2995 - 3001
- [29] Reliability analysis of complex hardware-software systems ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1999 PROCEEDINGS, 1999, : 178 - 182