84 search results - page 4 / 17 » iccad 2007 |
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
velsofAbstraction DanielKroening,OxfordUniversity SanjitA.Seshia,UCBerkeley ICCADTutorial November8,2007
103
click to vote
ICCAD
2007
IEEE
15 years 10 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...
124
click to vote
ICCAD
2007
IEEE
15 years 10 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 10 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 10 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 ...