Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

DATE
2008
IEEE

favoriteEmaildiscussreport

84views Hardware» more DATE 2008»

On the Verification of High-Order Constraint Compliance in IC Design

13 years 11 months ago

On the Verification of High-Order Constraint Compliance in IC Design

Download www.date-conference.com

Jan B. Freuer, Göran Jerke, Joachim Gerlach,

Real-time Traffic

DATE 2008 | Hardware |

claim paper

Related Content

» Use of Sensitivities and Generalized Substrate Models in MixedSignal IC Design

» Formal Behavioral Modeling and Compliance Analysis for ServiceOriented Systems

» Information hiding for trusted system design

» Model checking SystemC designs using timed automata

» Precise identification of the worstcase voltage drop conditions in power grid verification

» ESL design and HWSW coverification of highend software defined radio platforms

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	DATE
Authors	Jan B. Freuer, Göran Jerke, Joachim Gerlach, Wolfgang Nebel

Comments (0)