共 50 条
- [1] A method for the generation of HDL code at the RTL level from a high-level formal specification language 40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 1095 - 1098
- [2] A high-level policy description language for the network ACL PARALLEL AND DISTRIBUTED COMPUTING: APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2004, 3320 : 748 - 751
- [6] A co-design methodology based on formal specification and high-level estimation FOURTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CO-DESIGN (CODES/CASHE '96), PROCEEDINGS, 1996, : 28 - 35
- [7] An extension of discrete event high level specification DECM formal language SIMULATION IN INDUSTRY 2001, 2001, : 73 - 77
- [8] A PROTOCOL SPECIFICATION LANGUAGE WITH A HIGH-LEVEL PETRI-NET SEMANTICS DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 225 - 241
- [9] On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR SYSTEMS ENGINEERING, SAM 2018, 2018, 11150 : 46 - 66
- [10] A Metric Extraction Framework Based on a High-Level Description Language 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2009, : 159 - +