The Siemens high-level synthesis system CALLAS
J. Biesenack, Markus Köster, A. Langmaier, S. Ledeux, Sabine März, Melissa Payer, Michael Pilsl, S. Rumler, Holger Soukup, Norbert Wehn, P. Duzy · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1993
In this paper we present the Siemens high-level synthesis system CALLAS and describe its design methodology and synthesis strategy. It supports the synthesis of control-dominated applications and uses a VHDL subset for the algorithmic specification. Its main feature can be characterized as "What you simulate is what you synthesize." This principle permits a validation of the synthesis results by simulation or even formal verification. CALLAS has been successfully applied on real designs which were implemented in silicon. These examples demonstrate that CALLAS fulfils the constraints and objectives of a hardware designer. The circuits are comparable in quality to results achieved by synthesis starting at the register-transfer-level.>