Embedded Tutorials

2015 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems  
Development of EDA software is a moving target, there are four aims, towards which EDA software is developed: capacity & speed, modelling of effects, level of abstraction and ease of usage / shortening the response loop. Capacity and speed go along with Moores Law, all the devices of a design, number of which is doubling every 18 months, must be handled by EDA software at acceptable speed. xvi xvi xiv xvii xvii Embedded Tutorial II Abstract Formal Methods advanced to an important core
more » ... in Computer-Aided Design (CAD). Prominent examples include representations for Boolean functions such as Binary Decision Diagrams (BDDs) or solvers for satisfiability problems such as SAT-or SMT-solvers. They are heavily utilized not only in obvious application areas like verification but can also be exploited for other CAD-tasks including synthesis, optimization, test pattern generation, etc. This allowed for impressive improvements in the design for conventional circuit technologies. At the same time, mainly caused by the expected physical boundaries and cost restrictions of conventional CMOS-based circuitry, researchers and engineers also started the investigation of so-called emerging technologies such as:
doi:10.1109/ddecs.2015.68 fatcat:crbeu33dmvhjboq76sm6oiodq4