Method for Interface Between Design Entry Programs and Logic Synthesis Programs
Original Publication Date: 1988-Jun-01
Included in the Prior Art Database: 2005-Feb-15
Logic Synthesis Programs (LSPs) convert a source circuit technology design to a target circuit technology design. The source technology could be an abstact or a technology-independent pseudo technology. The input to LSP may be expressed in various formats or syntaxes; however, the input to LSP must contain specific information and conform to specific conventions. LSP operates by loading the complete source design, then transforming it into an internal model and executing a sequence of transformation programs until a model in the target circuit technology is created. Then, the model is formatted in a language and written to a file to be processed by other design automation (DA) programs. Design entry programs (DEPs) are, therefore, required to write their output in a format defined by the LSP.