Result Details

Functional Equivalence Checking for Evolution of Complex Digital Circuits

SEKANINA, L.; VAŠÍČEK, Z. Functional Equivalence Checking for Evolution of Complex Digital Circuits. In Evolvable Hardware - From Practice to Application. Berlin: Springer Verlag, 2015. p. 175-189. ISBN: 978-3-662-44615-7.

Type

chapter in a book

Language

English

Authors

Sekanina Lukáš, prof. Ing., Ph.D., DCSY (FIT)
Vašíček Zdeněk, doc. Ing., Ph.D., DCSY (FIT)

Abstract

This book chapter deals with the functional equivalence checking methods that were utilized in evolution of complex digital circuits. It is one of 14 chapters included into a new book on evolvable hardware edited by Martin Trefzer and Andy M. Tyrrell of University of York, UK.

Keywords

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Published

2015

Pages

175–189

Book

Evolvable Hardware - From Practice to Application

ISBN

978-3-662-44615-7

Publisher

Springer Verlag

Place

Berlin

DOI

10.1007/978-3-662-44616-4

EID Scopus

2-s2.0-84956524752

BibTeX

@inbook{BUT119782,
  author="Lukáš {Sekanina} and Zdeněk {Vašíček}",
  title="Functional Equivalence Checking for Evolution of Complex Digital Circuits",
  booktitle="Evolvable Hardware - From Practice to Application",
  year="2015",
  publisher="Springer Verlag",
  address="Berlin",
  pages="175--189",
  doi="10.1007/978-3-662-44616-4",
  isbn="978-3-662-44615-7"
}

Projects

Advanced Methods for Evolutionary Design of Complex Digital Circuits, GACR, Standardní projekty, GA14-04197S, start: 2014-01-01, end: 2016-12-31, completed

Research groups

Evolvable Hardware Research Group (RG EHW)

Departments

Department of Computer Systems (DCSY)