Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,393,620 papers from all fields of science
Search
Sign In
Create Free Account
Circuit design language
Circuit design language is a kind of netlist, a description of an electronic circuit. It is usually automatically generated from a circuit schematic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Electronic circuit simulation
Netlist
SPICE 2
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
A study on the generation of silicon-based hardware Plc by means of the direct conversion of the ladder diagram to circuit design language
Daoshan Du
,
Xiaodong Xu
,
K. Yamazaki
2010
Corpus ID: 55855881
Programmable logic controller (PLC) is one of the most important components in today’s manufacturing. Its performance-based…
Expand
2008
2008
The JHDL Design and Debug System
B. Nelson
,
B. Hutchings
2008
Corpus ID: 64249443
Review
2007
Review
2007
The B Formal Method Bibliography
G. Mariano
2007
Corpus ID: 3211411
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an…
Expand
Highly Cited
2005
Highly Cited
2005
A flexible 8b asynchronous microprocessor based on low-temperature poly-silicon TFT technology
N. Karaki
,
Takashi Nanmoto
,
H. Ebihara
,
S. Utsunomiya
,
Satoshi Inoue
,
Tatsuya Shimoda
ISSCC. IEEE International Digest of Technical…
2005
Corpus ID: 7578033
A flexible 8b asynchronous microprocessor ACTII based on low-temperature poly-silicon TFT technology, surface-free technology by…
Expand
2004
2004
Modelling Airbus Flight using a Circuit Design language
P. Garratt
,
E. Yilmaz
,
A. Rushton
2004
Corpus ID: 107972939
Abstract We have conceived and developed a simulator modelling the behaviour of the A320 Airbus. The model is written in VHDL…
Expand
2002
2002
FORMALIZATION OF DIGITAL CIRCUITS USING THE B METHOD
J. Boulanger
,
A. Aljer
,
G. Mariano
World Congress on Formal Methods
2002
Corpus ID: 63170819
The aim of this paper is to show how it is possible to combine the advantages of the B method in order to design secure digital…
Expand
1996
1996
JAS-95 Lite: Modelling and Formal Analysis of Dynamic Properties
S. Nadjm-Tehrani
1996
Corpus ID: 10750468
In this report we present the multi-disciplinary work performed in the rst phase of the COHSY project concerning generation of…
Expand
1984
1984
The Icewater Language and Interpreter
P. A. D. Powell
,
M. Elmasry
Design Automation Conference, Proceedings
1984
Corpus ID: 16177412
A symbolic circuit design language for describing the topology and topography of a VLSI design in a simple and hierarchical…
Expand
1981
1981
Bolt - A Block Oriented Design Specification Language
D. Holt
,
S. Sapiro
Design Automation Conference
1981
Corpus ID: 10355672
BOLT is a block-oriented MOS Integrated Circuit design language which relies heavily on macro, define, and parameter default…
Expand
1974
1974
An Asynchronous Circuit Design Language (ACDL)
G. M. Bednar
,
J. H. Tracey
IEEE transactions on computers
1974
Corpus ID: 9521093
This correspondence describes a special purpose Asynchronous Circuit Design Language (ACDL) for specifying the terminal behavior…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE