Sciweavers

5387 search results - page 831 / 1078
» Generating generic functions
Sort
View
DAC
2008
ACM
16 years 7 months ago
Automatic package and board decoupling capacitor placement using genetic algorithms and M-FDM
In the design of complex power distribution networks (PDN) with multiple power islands, it is required that the PDN represents a low impedance as seen by the digital modules. This...
Krishna Bharath, Ege Engin, Madhavan Swaminathan
DAC
2007
ACM
16 years 7 months ago
On Resolution Proofs for Combinational Equivalence
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...
DAC
2002
ACM
16 years 7 months ago
Software-based diagnosis for processors
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
Li Chen, Sujit Dey
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
138
Voted
MICCAI
2007
Springer
16 years 7 months ago
Customised Cytoarchitectonic Probability Maps Using Deformable Registration: Primary Auditory Cortex
A novel method is presented for creating a probability map from histologically defined cytoarchitectonic data, customised for the anatomy of individual fMRI volunteers. Postmortem ...
Lara Bailey, Purang Abolmaesumi, Julian Tam, Patri...