A pragmatic approach to the automation of the logic design process
Hoang Nga Nguyen, Laurent Ducousso, M. Thill, P. Vallet · 2003
The paper describes a logic-design system and its associated methodology used in developing the BULL DPS7000 mainframe system. The originality of the work lies in the methodology that integrates a set of state-of-the-art logic synthesis and formal verification techniques to make an effective logic-design system to support an iterative synthesis process.>