Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,877,855 papers from all fields of science
Search
Sign In
Create Free Account
Logic synthesis
Known as:
Hardware compilation
, Synthesis
, Logic design
Expand
In electronics, logic synthesis is a process by which an abstract form of desired circuit behavior, typically at register transfer level (RTL), is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ARM Cortex-A
ARM Cortex-M
ARM architecture
Altera Quartus
Expand
Broader (3)
Digital electronics
Electronic design automation
Electronic engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Wireless optical CDMA LAN: digital design concepts
B. M. Ghaffari
,
Mehdi D. Matinfar
,
J. Salehi
IEEE Transactions on Communications
2008
Corpus ID: 206641163
In this paper we study and present an in-depth analysis on the operability and the viability of a typical wireless optical CDMA…
Expand
Highly Cited
2004
Highly Cited
2004
Issues in the development of a practical NoC: the Proteo concept
David A. Sigüenza-Tortosa
,
T. Ahonen
,
J. Nurmi
Integr.
2004
Corpus ID: 41324135
Review
2001
Review
2001
Acylsilanes and their applications in organic chemistry
Amauri F. Patrocínio
,
P. J. Moran
2001
Corpus ID: 98568433
Current studies concerning the use of acylsilanes in a variety of organic synthetic routes and the improved methodologies of…
Expand
Highly Cited
2001
Highly Cited
2001
A synthesizable, fast and high-resolution timing measurement device using a component-invariant vernier delay line
A. Chan
,
G. Roberts
Proceedings International Test Conference (Cat…
2001
Corpus ID: 206679689
In recent years, much effort has been placed on improving the performance of timing and jitter measurement devices using Delay…
Expand
Review
1998
Review
1998
Investigation of a New Family of Chiral Ligands for Enantioselective Catalysis via Parallel Synthesis and High‐Throughput Screening.
C. Gennari
,
S. Ceccarelli
,
U. Piarulli
,
Christian A. G. N. Montalbetti
,
Richard F. W. Jackson
1998
Corpus ID: 264209955
Applications of combinatorial chemistry are widespread and cover fields as diverse as drug discovery and optimization,1 material…
Expand
Highly Cited
1998
Highly Cited
1998
Hardware Compilation: Translating Programs into Circuits
N. Wirth
Computer
1998
Corpus ID: 34617706
Automatically translating a program specified in a programming language into a digital circuit is an idea of long standing…
Expand
1998
1998
The application of reconfigurable logic to controller design
M. Węgrzyn
,
M. Adamski
,
J. Monteiro
1998
Corpus ID: 56532207
Highly Cited
1983
Highly Cited
1983
Proving the Correctness of Digital Hardware Designs
H. Barrow
AAAI Conference on Artificial Intelligence
1983
Corpus ID: 1181929
VERIFY is a PROLOG program that attempts to prove the correctness of a digital design. It does so by showing that the behavior…
Expand
1978
1978
Register-Transfer Level Digital Design Automation: The Allocation Process
L. Hafer
,
A. C. Parker
Design Automation Conference
1978
Corpus ID: 13246253
This paper presents a portion of the register-transfer level computer aided design (RT-CAD) research at Carnegie-Mellon…
Expand
Highly Cited
1976
Highly Cited
1976
Digital circuits and logic design
Samuel C. Lee
1976
Corpus ID: 60310521
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
or Only Accept Required