SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:DiVA.org:kth-241490"
 

Search: onr:"swepub:oai:DiVA.org:kth-241490" > Exact Multi-Level B...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Exact Multi-Level Benchmark Circuit Generation for Logic Synthesis Evaluation

Neto, W. L. (author)
Possani, V. N. (author)
Marranghello, Felipe (author)
KTH,Elektroniksystem
show more...
Matos, J. M. (author)
Reis, A. I. (author)
Ribas, R. P. (author)
show less...
 (creator_code:org_t)
Institute of Electrical and Electronics Engineers (IEEE), 2018
2018
English.
In: 31st Symposium on Integrated Circuits and Systems Design, SBCCI 2018. - : Institute of Electrical and Electronics Engineers (IEEE). - 9781538674314
  • Conference paper (peer-reviewed)
Abstract Subject headings
Close  
  • 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.

Subject headings

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

Keyword

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

Publication and Content Type

ref (subject category)
kon (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Search outside 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 Close

Copy and save the link in order to return to this view