84 search results - page 4 / 17 » iccad 2007 |
ICCAD
2007
IEEE
15 years 4 months ago
2007
IEEE
velsofAbstraction DanielKroening,OxfordUniversity SanjitA.Seshia,UCBerkeley ICCADTutorial November8,2007
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
— The orientation of a bus is defined as the direction from the Least Significant Bit (LSB) to the Most Significant Bit (MSB). Bused pin flipping is a property that allows severa...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper studies microprocessor floorplanning considering thermal and throughput optimization. We first develop a stochastic heat diffusion model taking into account the appl...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...