loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Euromicro Symposium on Digital System Design (DSD'02)
Using Formal Tools to Study Complex Circuits Behaviour
Dortmund, Germany
September 04-September 06
ISBN: 0-7695-1790-0
ASCII Text
x 
 
Paul Amblard, Fabienne Lagnier, Michel Lévy, "Using Formal Tools to Study Complex Circuits Behaviour," Digital Systems Design, Euromicro Symposium on, pp. 180, Euromicro Symposium on Digital System Design (DSD'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/DSD.2002.1115367,
author = {Paul Amblard and Fabienne Lagnier and Michel Lévy},
title = {Using Formal Tools to Study Complex Circuits Behaviour},
journal ={Digital Systems Design, Euromicro Symposium on},
volume = {0},
year = {2002},
isbn = {0-7695-1790-0},
pages = {180},
doi = {http://doi.ieeecomputersociety.org/10.1109/DSD.2002.1115367},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Digital Systems Design, Euromicro Symposium on
TI - Using Formal Tools to Study Complex Circuits Behaviour
SN - 0-7695-1790-0
SP
EP
A1 - Paul Amblard,
A1 - Fabienne Lagnier,
A1 - Michel Lévy,
PY - 2002
KW - null
VL - 0
JA - Digital Systems Design, Euromicro Symposium on
ER -
 
Paul Amblard, TIMA-CMP
Fabienne Lagnier, Vérimag
Michel Lévy, LSR-IMAG
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. These complete and optimized representations helps the designer to understand the accurate behaviour of the circuit. This deep understanding is a prerequisite for any verification or test process. An example is fully presented to illustrate our method. This simple pipelined processor comes from our experience in computer architecture and digital design education. ([2])
Citation:
Paul Amblard, Fabienne Lagnier, Michel Lévy, "Using Formal Tools to Study Complex Circuits Behaviour," dsd, pp.180, Euromicro Symposium on Digital System Design (DSD'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.