In this article we present a structured approach to formal hardware verification bymodeling circuits at the register-transfer level using a restricted form of higher-order logic. Thisrestricted form of higher-order logic is sufficient for obtaining succinct descriptions of hierarchicallydesigned register-transfer circuits. By exploiting the structure of the underlying hardware proof...

This paper summarizes the rationale behind revision of an electronic design automation course and the resulting learning objectives and course model. Early experiences are highlighted.

Currently, different design tools and databases are used for building automation networks and construction projects. Effort (design time, tools) can be reduced if these two design spaces can be merged. In this paper an approach for the integration of building automation network design in IFC is introduced. Based on the resulting model, existing tools are to enhance in order to accomplish a holi...

Although automation has been introduced in all areas of public life, what seems to be missing is a reflection at the organizational or societal level about a policy of automation. By this we intend appropriate declarations made at the level of rationale, future plans and strategies to achieve intended goals and most importantly how those achievements will impact on various aspects of societal l...

The benefit of modular concepts in plant automation is seen ambivalent. On one hand it offers advantages, on the other hand it also sets requirements on the system structure as well as discipline of designer. The main reasons to use modularity in systems design for automation applications in industry are reusability and reduction of complexity, but up to now modular concepts are rare in plant a...

Automation does not mean humans are replaced; quite the opposite. Increasingly, humans are asked to interact with automation in complex and typically large-scale systems, including aircraft and air traffic control, nuclear power, manufacturing plants, military systems, homes, and hospitals. This is not an easy or error-free task for either the system designer or the human operator/automation su...

Abstract: Symbolic analsis of analog circuits is important in analog design automation. However, it is limited to the analysis of small analog circuits where exact symbolic expressions are required. In this paper, we present an efficient algorithm for partitioning large general analog circuits into smaller subcircuits so that symbolic analysis can be performed hierarachically. Experimental resu...

1 Antonio M. López, University of Oviedo, Ingeniería de Sistemas y Automática, Campus de Viesques, 2.1.15, 33204 Gijón, Spain. [email protected] 2 Víctor M. González, University of Oviedo, Ingeniería de Sistemas y Automática, Campus de Viesques, 2.1.14, 33204 Gijón, Spain. [email protected] 3 José M. Enguita, University of Oviedo, Ingeniería de Sistemas y Automática, Campus de Viesques, ...

test suite System specification Test refinement System design Set of tests covering 100% of states Implementation

The automation of the design of electronic systems and circuits [electronic design automation (EDA)] has a history of strong innovation. The EDA business has profoundly influenced the integrated circuit (IC) business and vice-versa. This paper reviews the technologies, algorithms, and methodologies that have been used in EDA tools and the business impact of these technologies. In particular, we...