We have applied the evolutionary design method to evolve various circuits. In some cases evolved circuits are better than the best known conventional solutions (according to given critera). One patent was granted in 2013 (see Nonlinear image filter).

Image Filters

Evolved filters exhibit good filtering properties while the implementation cost (e.g. in the FPGA) is very low when compared to conventional solutions such as median-based filters.

• Impulse burst noise: AHS 2011 , CEC 2011 , DATE 2010 , AHS 2009(with U. of Oslo) , Soft Computing J. (2013)
• Salt and Pepper Noise (high intensity): FPL 2007 , ICES 2007
• Shot noise, edge detectors: CEC 2011 , NASA EH 2003 , DDECS 2002 (Best paper award)
• Gaussian noise, random noise: EvoIASP 2002
• Dynamic noise: Mendel 2002
• see also Evolvable Components, Springer (Merit Award at Humies 2004)
• Reference implementations of conventional median filters DDECS 2008

Bio-signal classification and proceeding

• EEG signal classification: GECCO 2023
• Parkinson's disease DDECS 2023 , DATE 2023 , EvoStar 2023 , EuroGP 2022 , PPSN 2022
• Biosignal classification BIBM 2023 , EMBC 2017

Evolutionary Logic Synthesis and Optimization.

• Benchmarks: GECCO 2023 , FOGA 2023
• SAT-based equivalence checking combined with simulation in the fitness function: EuroGP 2015 (Best paper award)
• SAT-based equivalence checking in the fitness function for evolution of complex circuits: book chapter 2015 , WCCI 2012 , GPEM 12(3) 2011 , DATE 2011(Silver Medal at Humies 2011)
• Cartesian genetic programming really beats conventional synthesis tools in the case of "hard to synthesize" circuits: DDECS 2010(with FIT CVUT Prague)
• Local vs. global optimization: ISVLSI 2022 , GECCO 2022 , DSD 2021 , GPEM 21(3) 2020 , ISCAS 2019 , EuroGP 2019 , GECCO 2019 , WCCI-CEC 2014
• Small combinational circuits: EuroGP 2023 , ICES 2010 , GECCO 2010 , GECCO 2007 , Elektrorevue 2004
• Semantic genetic programming GPEM 2021 , GECCO 2020 (Best paper nomination) , EuroGP 2019

Transistor level evolution, power consumption.

• Advanced transistor model: GECCO 2017 , EuroGP 2015 , EUC 2015(power estimation)
• Basic transistor model: ICES 2008
• FPGA Accelerator: SSCI-ICES

Benchmark Circuits for Diagnostics CAD tools

We evolved complex benchmark circuits (up to 1 M gates) with predefined testability.

• TODAES 13(3), 2008(Silver Medal at Humies 2008) , DDECS 2006 , NASA EH 2005
• Download FITTest_BENCH06 Benchmarks

Image Recognition

• Speed limit signs: PPSN 2004 , ITS 2004(with J. Torresen, University of Oslo)
• Low-cost number recognition: EuroGP 2014

Evolutionary Image Compression (with Ruben Salvador, Universidad Politécnica de Madrid).

• Evolution of Wavelet Transforms for Embedded Systems: EURASIP Journal on Advances in Signal Processing 2011 , SPIE VLSI 2011 , AHS 2010 , DSD 2010 , DCIS 2010 , J. of Microprocessors and Microsystems
• Evolution of nonlinear predictors: FPL 2000 , Nostradamus 1999

HW/SW Co-Design with EA.

• EuroGP 2014 , SSCI-ICES 2013

Other Circuits.

• Bent and Hash functions Genetic Programming and Evolvable Machines 2024 , CEC 2020 , GECCO 2019 , EuroGP 2019 , AHS 2018 , EuroGP 2018 , Applied Soft Computing 2017 , CEC 2017 , CEC 2017 , GECCO 2017 , MENDEL 2016 , GECCO 2016 , ICES 2016 , ICES 2015 , PPSN 2014(Bronze Medal at Humies 2014)
• Cryptographics functions CEC 2020
• Multiple Constant Multipliers: Mendel 2012 , ICES 2008
• Gate-level evolution of FIR and IIR filters: EvoHOT 2006
• Median circuits: EvoHOT 2004
• Module Selection Problem in High-Level Synthesis: Mendel 2002
• Cryptographic primitives testing: IEEE Tr. VLSI 2019 , GECCO 2018
• Quantum computing SSCI 2020
• Branch Predictors: GECCO 2008
• Application protocol classification in FPGA: Applied Soft Computing 2016 , EvoComnet 2015

We have applied the evolutionary design as a systematic design method to create approximate circuits.

• Neural networks and deep learning IEEE JETCAS 2023(GitHub) , IEEE Access 2021 , DATE 2020(GitHub) , IEEE Tr. VLSI 2020 , ICCAD 2019(GitHub) , DATE 2019(GitHub) , ISVLSI 2017(with TU Vienna) , GlobalSIP 2017 , ICCAD 2016(with Purdue University, IN, USA)
• Synthesis for FPGAs ICCAD 2023 , DDECS 2021 , DAC 2020 , FPL 2016 , ICES 2016
• Multipliers, median circuits and sorting networks AICAS 2020 (Best paper nomination) , DATE 2019 , IEEE Tr. VLSI 2018 , ICECS 2018 , AHS 2018 , Genetic programming and Evolvable machines 2017 , Radioengineering 2017 , PATMOS 2016 , IEEE Tr. on Evol. Comp 2015(Golden Medal at Humies 2015)) , Book chapter - Springer 2014
• Adders, multipliers and combinational circuits: DDECS 2022 (Best paper student paper award) , ISVLSI 2022 , Swarm and Evolutionary Computation 2021 , Applied Soft Computing (95) 2020 , IEEE JETCAS (10) 2020 , GECCO 2018 , DATE 2017(see Tools; Best IP award) (Best paper award) , EuroGP 2016 (Best paper nomination) , SSCI-ICES 2013 (Best paper nomination)
• Fault tolerance Microelectronics Reliability, 2023 , IEEE Tr. on Reliability 2016(with Universidad Carlos III de Madrid)
• Multiobjective approach: DAC 2019(with TU Wien) , DTIS 2016 , ICES 2016 , EuroGP 2015 , Book chapter - Springer 2014 , DDECS 2013
• Parallel multiobjecive approach: GECCO 2015
• The impact of error metrics and representations SMC 2023 , IET CDT 2018 , Inspired by nature 2018 , Inspired by nature 2018 , DDECS 2014
• Formal methods in fitness: DATE 2024 , DSD 2022 , SAT 2020 , IEEE Access 2019 , VLSI-Test Symp. 2018 , DATE 2017 , ICCAD 2017 , WAPCO 2016 , Genetic programming and Evolvable machines 2016 , GECCO 2015
• Approximate SW for Embedded Systems: GECCO-GI 2015
• Surveys and tutorials: DDECS 2023 , Inexact Arithmetic Operators (book chapter) 2022 , Journal of Ingtegrated Circuits 2021 , Handbook of Computer Architectures (book) 2021 , ETS 2021 , DDECS 2017 , WAPCO 2016 , DDECS 2016 , WAPCO 2015

• Optimization of neural networks accelerators: DDECS 2024 (Best paper award) , Neural Computation 2024 , IEEE Tr. VLSI 2021 , DATE 2020 , ESWeek 2020
• Neuroevolution: CEC 2024 , DDECS 2023 , Genetic programming and evolvable machines 2022 , IEEE Access 2022 , IEEE Tr. CAD 2021 , EuroGP 2021 , ICCAD 2020 (Best paper nomination) , TPNC 2019
• Teoretical aspects: ICANN 2023

We have developed the concept of Virtual Reconfigurable Circuits (VRC) for real-world applications of evolvable hardware in FPGAs.

• Accelerator for image filter evolution - speedup 170 wrt PC (EA in PowerPC, multiple VRCs): CaI 29(6), 2010 , MEMICS 2009 (Best paper award)
• Accelerator for image filter evolution - speedup 44 wrt PC (EA in PowerPC, 1 VRC): IJICA 1(1), 2007 , AHS 2007(analysis of mutation operators and pseudorandom generators)
• Accelerator of CGP (EA in PowerPC, 1 VRC): EuroGP 2008 (Best paper nomination)
• Accelerator for image filter evolution (EA in HW, 1 VRC): ICES 2005 , Hindawi's book chapter
• Accelerator for sorting network evolution (EA in HW, 1 VRC): ICES 2005
• Accelerator for combinational circuit evolution (EA in HW, 1 VRC): DDECS 2004 , NASA EH 2004 , CaI 23(5), 2004

Analysis of the VRC concept

• Comparison with DPR: FPL 2012
• Analysis of Reconfigurable Logic Blocks for Evolvable Digital Architectures: EvoHOT 2008 (Best paper nomination)
• Evolutionary Functional Recovery in Virtual Reconfigurable Circuits: ACM JETCS 3(2), 2007 , ACM CF 2006
• Evolvable IP cores: NASA EH 2003
• Introduction of VRCs: ICES 2003 (Best paper presentation) , DDECS 2000
• see also Evolvable Components (Springer)

Utilization of Dynamic Partial Reconfiguration (with <a href="http://www.cei.upm.es/">CEI, Universidad Politécnica de Madrid</a>)

• Processing Array: IEEE Tr. on Computers 2013 , AHS 2011a , AHS 2011b
• Fault tolerance issues: Reconfig 2011

Accelerators based on the Xilinx Zynq chip (with DPR)

• Basic version: SSCI-ICES 2013 , AHS 2013 (Best paper award)
• With optimized DPR: ACM TRETS 2015 , ICES 2014
• On-line synthesis of accelerators for video: FPL 2014

• Xeon Phi - Bent functions: MEMICS 2015
• GPU - Evolution of Cellular Automata: FC 2009 (Best paper award) , IJAS 3(1)

We have devoloped first reconfigurable polymorphic ASIC (REPOMO32), implemented several methods for synthesis of polymorphic circuits and proposed several new applications of polymorphic electronics.

• Polymorphic ASIC REPOMO32: WEAH 2009 , AHS 2008 , IASTED CI 2006)
• Synthesis of polymorphic circuits: ICES 2016 , DATE 2012 , JMVLSC 17(6) 2011 , CEC 2009 , CEC 2006 , EvoHOT 2005 (Best paper award) , DDECS 2005
• Polymorphic image filters: DATE 2012 , WCCI 2012
• Polymorphic FIR filters: AHS 2009
• Self-checking circuits: DDECS 2007 , ICES 2007
• Reduction of test vectors volume: ICES 2010 , DDECS 2008 , JUC 4(2), 2008
• Analysis and measurement of polymorphic gates: DDECS 2012 , DDECS 2011(high temperatures) , DSD 2011(low temperatures) , DDECS 2010 , IOLTS 2008 , ECS 2007 , AHS 2006 , DDECS 2006
• Polymorphic Cellular Automata and Self-replication: JCA 6(4) 2011
• Unclonable chip ID on REPOMO32: J. of ITC 2013
• Survey: book chapter

We have introduced non-trivial mappings between genotypes and phenotypes to overcome the scalability problems of evolutionary design. One approach uses an instruction-based development, another one cellular automata.

• Cellular automata-based development: CEC 2020 , GECCO 2019 , Mendel 2019 , Computational Intelligence 2019 , Computational Inteligence 2017 , GECCO 2016 , ECTA 2016 (Best paper award) , ICES 2015 , ECTA 2015 , WCCI-CEC 2014 , SSCI-ICES 2013 , CEC 2013 , ACRI 2012 , WCCI 2012 , ICES 2010 , CEC 2009 , GECCO 2009 , AHS 2009 , ICES 2008 , AHS 2008 , IEEE Tr. on Evolutionary Computation(Silver Medal at Humies 2016)
• Growing multipliers: JKBIES 12(3) 2008 , AHS 2007 , ICES 2007
• Growing arbitrarily large sorting networks: CEC 2021 , IEEE Tr. EC 2020 , GENP 6(3) 2005(Honorable mention at Humies 2005) , SOFSEM 2004
• Growing polymorphic circuits: GECCO 2005 - workshop
• A formal proof that evolved constuctor for sorting networks is general: TECT 15(10), 2006
• The role of environment: Mendel 2010
• Ant colonies optimization: MENDEL 2019

Miller J. F. (ed.): Cartesian Genetic Programming, Springer 2011 - see chapters on circuit evolution, image processing and CGP in FPGA.

• Parallel implementations: GECCO 2014
• Coevolution in CGP: Evolutionary Computation 2018 , SSCI-ICES 2018 , EuroGP 2016(plastic fitness predictors) , EuroGP 2015 , SSCI-ICES 2014 , ECAL 2013(FPGA accelerator) , EuroGP 2012(symbolic regression) , PPSN 2012(image filter design)
• Precompilation for a fast fitness evaluation: EuroGP 2012
• Evolution of iterative algorithms: KES 2011
• A new selection strategy: ICES 2010 , GECCO 2010
• ALPS in CGP: EuroGP 2009
• Does crossover work in CGP? EuroGP 2018 , EuroGP 2007
• CGP Visualisation GECCO 2016
• Evolutionary applications GECCO 2023

• Fault tolerance in cellular systems: J. of Nat. Computing 2012 , UC 2011 , NaBIC 2011 , IOLTS 2000
• Parallel GA for CellMatrix: ESM 2001

• Evolutionary computation in the physical world: ACM Ubiquity 2013
• Evolved Computing Devices and the Implementation Problem: Minds and machines 17(3), 2007 , KUZ 2007(in Czech)
• Evolvable systems - models and super-Turing behaviors: JNC 3(3), 2004 , EuroGP 2003 , E-ISCI 2002
• see also Evolvable Components (Springer)

• CA-based Microscopic Traffic Simulation: IV 2011
• Evolutionary calibration of CA-based Microscopic Traffic Simulation: ACRI 2012 , ITSC 2012 , Journal of CA
• GPU accelerators: Mendel 2011
• Estimation of traffic density map: ITSC 2012
• Multiobjective sensor selection: ITSC 2015 , PPSN 2014 , SSCI-CIVTS 2014

• Evolvable Hardware and evolutionary circuit design: Handbook of natural computing 2012 , GECCO 2011 , SPIE VLSI 2011 , JAMRIS 3(2), 2009 , UC 2009 , GECCO 2007 , AHS 2006 , ECBS 2004
• In Czech: Umela inteligencia a kognitivna veda 2010 , Vesmir 84(1) 2005 , Vesmir 81(7) 2002 , Elektrorevue 1999 , Automa 1/2010

(with P. Svenda and V. Matyas, FI MU Brno)

• Evolutionary Design of Secrecy Amplification Protocols for Wireless Sensor Networks: EuroGP 2012 , WiSec 2009

(with NASA JPL)

• Low temperature experiments: Springer's book chapter 2006 , ICES 2005
• Flip-flops: EH 2005
• Controllable oscillators: ICES 2005