SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Reis Felipe J. J.)
 

Sökning: WFRF:(Reis Felipe J. J.) > (2018) > Exact Multi-Level B...

Exact Multi-Level Benchmark Circuit Generation for Logic Synthesis Evaluation

Neto, W. L. (författare)
Possani, V. N. (författare)
Marranghello, Felipe (författare)
KTH,Elektroniksystem
visa fler...
Matos, J. M. (författare)
Reis, A. I. (författare)
Ribas, R. P. (författare)
visa färre...
 (creator_code:org_t)
Institute of Electrical and Electronics Engineers (IEEE), 2018
2018
Engelska.
Ingår i: 31st Symposium on Integrated Circuits and Systems Design, SBCCI 2018. - : Institute of Electrical and Electronics Engineers (IEEE). - 9781538674314
  • Konferensbidrag (refereegranskat)
Abstract Ämnesord
Stäng  
  • Logic synthesis is a crucial step in digital integrated circuit design. There are methods for exact synthesis of two-level design able to handle very large circuits, with hundred of inputs, although of limited usefulness in VLSI circuit and system design. On the other hand, exact multi-level synthesis is a quite complex task, where the majority of algorithms are heuristic. To evaluate and validate new methods, benchmarks are of great importance. In particular, exact benchmarks unlock the possibility to evaluate the effectiveness of synthesis algorithm with respect to the optimal solution. This work proposes a novel method to generate exact multi-level circuits based on reversible logic. The proposed approach is able to build exact benchmark circuits with around 40 millions nodes in short time, acting as the identity function $f(x)=x$. It means, the most compact circuit corresponds to only wires, without any logic gate instantiation. The proposed work is complementary to other circuit generation approaches, being easily combined to explore particular characteristics of related benchmarks.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)

Nyckelord

digital circuit design
exact benchmark
Logic synthesis
reversible logic
synthesis algorithm evaluation

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy