This paper presents a toolbox implemented in Coq and dedicated to the speciication and veriication of synchronous sequential devices. The use of Coq co-inductive types underpins our methodology and leads to elegant and uniform descriptions of the circuits and their behaviours as well as clear and short proofs. An application to a non trivial circuit is given as an illustration.

Good usability of a system is the main goal of interface designers. Determining the usability is usually done afterwards by performing usability tests with users or by going through checklists. On the other hand, design guidelines and design heuristics give the designer assistance in improving the usability while designing. In practice the available checklists, tests, guidelines etc. differ in ...

This paper i n i d m u s chanscierisiic signaimms for Boolean frndions. The signairns do noi ezhibii sensiiiviiy i o permridions of inpri variables. We we ihesc signairres io develop a meihd of mpidly maiching srbcircviis m*ih celb in a (large) libnsry. The procedmn id analogow i o baahing. This approad promww signi$xnZ improvements for Eibrorg mdching m*ih large libnriw, f o r ctample in EPGA ...

How to make healthcare products and systems fit the work they are to support is a question that has received growing attention over the last decade. In most of the studies trying to answer this question, engineers put an effort to provide the best possible technical solution, but they dispose the important position of users. Design studies in different domains indicated a focus on the users and...

This paper describes the Electronic Design Automation (EDA) environment at Rowan University’s College of Engineering. The courses are summarized and an evaluation of the environment is presented.

In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of this approach to the development of intelligent ODE solver is also described.

Automation in the aviation domain has been increasing for the past two decades. Pilot reaction to automation varies from highly favorable to highly critical depending on both the pilot’s background and how effectively the automation is implemented. We describe a user-centered approach for automation that considers the pilot’s tasks and his needs related to accomplishing those tasks. Further, we...

Conceptual design is a vital stage in the development of any product, and its importance only increases with the complexity of a design. Functional modeling with the Functional Basis provides a framework for the conceptual design of electromechanical products. This framework is just as applicable to the conceptual design of automated solutions where an engineered product with components spannin...