共 50 条
- [41] HARDWARE DESCRIPTION LANGUAGE FOR SPECIFICATION OF DIGITAL-SYSTEMS MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 151 - 155
- [42] VeriFormal: An Executable Formal Model of a Hardware Description Language SYSTEMS APPROACH TO CYBER SECURITY, 2017, 15 : 19 - 36
- [43] Modelling and simulation of microsystems using hardware description language Microsystem Technologies, 1997, 3 : 80 - 85
- [44] HDLRuby, a new High Productivity Hardware Description Language PROCEEDINGS OF 2018 5TH INTERNATIONAL CONFERENCE ON BUSINESS AND INDUSTRIAL RESEARCH (ICBIR): SMART TECHNOLOGY FOR NEXT GENERATION OF INFORMATION, ENGINEERING, BUSINESS AND SOCIAL SCIENCE, 2018, : 215 - 220
- [47] Caisson: A Hardware Description Language for Secure Information Flow PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 109 - 120
- [48] Automating the validation of hardware description language processing tools SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 233 - 244
- [50] A HARDWARE DESCRIPTION LANGUAGE BASED ON A HIERARCHICAL GRAPH MODEL MICROPROCESSING AND MICROPROGRAMMING, 1987, 20 (1-3): : 183 - 188