Sciweavers

1342 search results - page 37 / 269

» MEMS Design And Verification

126

DATE
2005
IEEE

130views Hardware» more DATE 2005»

Design for Verification of SystemC Transaction Level Models

15 years 11 months ago

Design for Verification of SystemC Transaction Level Models

Download www.date-conference.com

Ali Habibi, Sofiène Tahar

claim paper

Read More »

125

KBSE
2005
IEEE

95views Software Engineering» more KBSE 2005»

Application of design for verification with concurrency controllers to air traffic control software

15 years 11 months ago

Application of design for verification with concurrency controllers to air traffic control software

Download www.fi.muni.cz

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...

claim paper

Read More »

134

CHARME
2005
Springer

119views Hardware» more CHARME 2005»

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

15 years 11 months ago

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

Download www.cesnet.cz

Petr Matousek, Ales Smrcka, Tomás Vojnar

claim paper

Read More »

143

CAV
2004
Springer

111views Hardware» more CAV 2004»

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

15 years 11 months ago

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

Download chicory.stanford.edu

Jacob Chang, Sergey Berezin, David L. Dill

claim paper

Read More »

121

HICSS
2003
IEEE

98views Biometrics» more HICSS 2003»

Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies

15 years 11 months ago

Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies

Download www.hicss.hawaii.edu

Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, K...

claim paper

Read More »

« Prev « First page 37 / 269 Last » Next »