2007 Design, Automation & Test in Europe Conference & Exhibition

An Efficient Methodology for Hierarchical Synthesis of Mixed-Signal Systems with Fully Integrated Building Block Topology Selection

Pub Date : 2007-04-16 DOI: 10.1109/DATE.2007.364571 T. Eeckelaert, R. Schoofs, G. Gielen, M. Steyaert, W. Sansen

Random Sampling of Moment Graph: A Stochastic Krylov-Reduction Algorithm

Pub Date : 2007-04-16 DOI: 10.1145/1266366.1266696 Zhenhai Zhu, J. Phillips

Formal Verification of a Pervasive Interconnect Bus System in a High-Performance Microprocessor

Pub Date : 2007-04-16 DOI: 10.1109/DATE.2007.364594 T. Le, Tilman Glökler, J. Baumgartner