Conference paper

VAŠÍČEK Zdeněk. Relaxed equivalence checking: a new challenge in logic synthesis. In: Proceedings 2017 IEEE 20th International Symposium on Design and Diagnotics of Electronic Circuit & Systems. Dresden: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-0472-4.
Publication language:english
Original title:Relaxed equivalence checking: a new challenge in logic synthesis
Title (cs):Přibližná ekvivalence: nový problém logické syntézy
Pages:1-6
Proceedings:Proceedings 2017 IEEE 20th International Symposium on Design and Diagnotics of Electronic Circuit & Systems
Conference:20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2017
Place:Dresden, DE
Year:2017
ISBN:978-1-5386-0472-4
Publisher:IEEE Computer Society
Files: 
++Type Name Title Size Last modified
icon07968435.pdf174 KB2017-07-11 11:55:20
^ Select all
With selected:
Keywords
equivalence checking, relaxed equivalence checking, logic circuits, formal techniques, sat solvers, binary decision diagrams
Annotation
The functional equivalence has always been the integral part of virtually every logic synthesis tool. The formal equivalence checking represents a key process that helps logic synthesis tool guarantee that two representations of a circuit design exhibit exactly the same behavior. Among others,equivalence checking is routinely applied to prove that a synthesized digital circuit is logically equivalent to the RTL source code. Although formal equivalence checking has matured greatly during the last two decades and designs with millions of gates can be handled and verified in reasonable time, a new challenge has emerged with the recent advent of approaches addressing the problem of synthesis of approximate circuits.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Va{\v{s}}{\'{i}}{\v{c}}ek},
   title = {Relaxed equivalence checking: a new challenge in logic
	synthesis},
   pages = {1--6},
   booktitle = {Proceedings 2017 IEEE 20th International Symposium on Design
	and Diagnotics of Electronic Circuit \& Systems},
   year = {2017},
   location = {Dresden, DE},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-5386-0472-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11410}
}

Your IPv4 address: 54.196.127.107
Switch to IPv6 connection

DNSSEC [dnssec]