A case study of system synthesis with non-synthesizable components using extended VHDLA case study of system synthesis with non-synthesizable components using extended VHDL Πλήρης Δημοσίευση σε Συνέδριο Conference Full Paper 2015-11-181995enExtensions 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.http://creativecommons.org/licenses/by/4.0/168-173Sixth IEEE International Workshop on Rapid System PrototypingSixth IEEE International Workshop on Rapid System Prototyping Proceedings Sterling Babcock J. D. Dollas Apostolos Δολλας Αποστολος Institute of Electrical and Electronics Engineers Automatic computers Automatic data processors Computer hardware Computing machines (Computers) Electronic brains Electronic calculating-machines Electronic computers Hardware, Computer computers automatic computers automatic data processors computer hardware computing machines computers electronic brains electronic calculating machines electronic computers hardware computer