automatictheoremproving biology complementary computer-aideddesign computerarchitecture congresses dataprocessing designandconstruction digitaltechniques electromagneticcompatibility electromagnetism electroniccircuits electronicdigitalcomputers evolutionarycomputation evolutionaryprogramming(computerscience) evolvablesystems ices integratedcircuits linearintegratedcircuits logiccircuits logicdesign metaloxidesemiconductors mlcm2006/41168(q) pulsecircuits signalprocessing temperaturemeasurements testing thermalproperties transistorcircuits verylargescaleintegration vhdl(computerhardwaredescriptionlanguage)