显示的是以下查询字词的结果: Representing and modeling circuits

[图书][B] Representing and modeling digital circuits

TG Rokicki - 1994 - search.proquest.com
… We illustrate that we need to both model the behavior of circuit elements and specify the …
with models of circuit elements, and we compare these models with other, similar models that …

Modeling digital circuits for troubleshooting

WC Hamscher - Artificial Intelligence, 1991 - Elsevier
… this provides guidance about the appropriate temporal granularity to use in representing
the behavior of the circuit. These and other principles constitute the strategy of modeling for …

Computing with neural circuits: A model

JJ Hopfield, DW Tank - Science, 1986 - science.org
… The input impedance of our model neuron is represented in the circuit by an equivalent
resistor pj and an input capacitor Cj connected in parallel from the amplifier input to ground. …

How circuits work

J De Kleer - Artificial intelligence, 1984 - Elsevier
… component model to handle a behavior of a particular circuit. Said differently, the component
… is a set of cells representing the voltages and currents of the circuit and a set of constraints …

Circuit models for three-dimensional geometries including dielectrics

AE Ruehli, H Heeb - IEEE Transactions on Microwave Theory …, 1992 - ieeexplore.ieee.org
… the modeling of many different electromagnetic problems. The technique can be viewed as
an approach for the electrical circuit modeling for … In order to represent the DDAE in a circuit

Analysis of digital circuits through symbolic reduction

RP Kurshan, KL McMillan - … -Aided Design of Integrated Circuits …, 1991 - ieeexplore.ieee.org
… The first is the accuracy with which the circuit model represents the behavior of the actual
circuit. The second is the tractability of the analysis procedure on realistically large …

A general approach to sampled-data modeling for power electronic circuits

GC Verghese, ME Elbuluk… - IEEE Transactions on …, 1986 - ieeexplore.ieee.org
… a class of symmetries in circuit operation. The results of the serves to focus the task of
representing the circuit and application of this methodology to modeling the small-signal dynamics …

Symbolic model checking for sequential circuit verification

JR Burch, EM Clarke, DE Long… - … of Integrated Circuits …, 1994 - ieeexplore.ieee.org
… We begin by describing how to represent circuits symbolically. This involves representing
sets of circuit states … In addition to representing sets of states of a circuit, we must be able to …

MACACO: Modeling and analysis of circuits for approximate computing

R Venkatesan, A Agarwal, K Roy… - 2011 IEEE/ACM …, 2011 - ieeexplore.ieee.org
… analyze how an approximate circuit behaves with reference … circuit that represents the
behavior of the approximate circuit … error circuit that represents the error in the approximate circuit

Computational models of motivated action selection in corticostriatal circuits

MJ Frank - Current opinion in neurobiology, 2011 - Elsevier
… In these models, the cortex represents the salience of multiple competing actions in separate
‘channels’. The primary function of the BG is to inhibit all of these channels (via tonically …