Το έργο με τίτλο A case study of system synthesis with non-synthesizable components using extended VHDL από τον/τους δημιουργό/ούς Sterling Babcock J. D. , Dollas Apostolos διατίθεται με την άδεια Creative Commons Αναφορά Δημιουργού 4.0 Διεθνές
Βιβλιογραφική Αναφορά
J. D. Sterling Babcock and A. Dollas, "A case study of system synthesis with non-synthesizable components using extended VHDL," in Sixth IEEE International Workshop on Rapid System Prototyping, 1995, pp. 168-173. doi:10.1109/IWRSP.1995.518587
https://doi.org/10.1109/IWRSP.1995.518587
Extensions to VHDL have been defined in order to produce a compiler that allows for system design with synthesizable and non-synthesizable multi-chip subsystems. The compiler has been completed and this paper presents a case study that has been made to evaluate the merits and limitations of this approach. Finally, a brief discussion is made of the error generation. Capability that results from the use of formal methods in the definition of the VHDL language extensions.