loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual Simulation Symposium (SS '96)
A symbolic simulation approach in resolving signals' correlation
New Orleans, LA
April 08-April 11
ISBN: 0-8186-7432-6
ASCII Text
x 
 
J. Dunoyer, N. Abdallah, P.B. Sabet, "A symbolic simulation approach in resolving signals' correlation," Simulation Symposium, Annual, pp. 203, 29th Annual Simulation Symposium (SS '96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/SIMSYM.1996.492168,
author = {J. Dunoyer and N. Abdallah and P.B. Sabet},
title = {A symbolic simulation approach in resolving signals' correlation},
journal ={Simulation Symposium, Annual},
volume = {0},
year = {1996},
issn = {1080-241X},
pages = {203},
doi = {http://doi.ieeecomputersociety.org/10.1109/SIMSYM.1996.492168},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Simulation Symposium, Annual
TI - A symbolic simulation approach in resolving signals' correlation
SN - 1080-241X
SP
EP
A1 - J. Dunoyer,
A1 - N. Abdallah,
A1 - P.B. Sabet,
PY - 1996
KW - circuit CAD; symbol manipulation; circuit analysis computing; probability; digital simulation; subroutines; decision theory; VLSI; signal resolution; integrated circuit design; digital integrated circuits; correlation methods; logic CAD; signal correlation resolution; symbolic simulation approach; probabilistic approach; power dissipation; digital circuits; evaluation package; signal probability; signal transition density; specification levels; first order clue; synthesis tools; design process; independent inputs; binary decision diagram concept; algorithms
VL - 0
JA - Simulation Symposium, Annual
ER -
 
J. Dunoyer, Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
N. Abdallah, Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
P.B. Sabet, Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
The probabilistic approach is widely used to analyze the power dissipation of digital circuits. The goal of the work is twofold. First, to present a method for providing an evaluation package of signal probabilities and transition densities that can be applied at different specification levels with more or less accuracy. A first order clue at the specification level may help synthesis tools in lowering power dissipation early in the design process. Second, to show how to deal with the well-known correlation problem using a symbolic simulation technique. Only one pass is required to compute a set of independent inputs for each signal in the circuit. At different stages, the algorithms take advantage of the binary decision diagram (BDD) concept.
Index Terms:
circuit CAD; symbol manipulation; circuit analysis computing; probability; digital simulation; subroutines; decision theory; VLSI; signal resolution; integrated circuit design; digital integrated circuits; correlation methods; logic CAD; signal correlation resolution; symbolic simulation approach; probabilistic approach; power dissipation; digital circuits; evaluation package; signal probability; signal transition density; specification levels; first order clue; synthesis tools; design process; independent inputs; binary decision diagram concept; algorithms
Citation:
J. Dunoyer, N. Abdallah, P.B. Sabet, "A symbolic simulation approach in resolving signals' correlation," ss, pp.203, 29th Annual Simulation Symposium (SS '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.