Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verification engineers, to the point where it has become an integral part of the design cycle of many teams. We discuss our approach to the problem of integr...

The inception of a mobile app often takes form of a mock-up of the Graphical User Interface (GUI), represented as a static image delineating the proper layout and style of GUI widgets that satisfy requirements. Following this initial mock-up, the design artifacts are then handed off to developers whose goal is to accurately implement these GUIs and the desired functionality in code. Given the s...

This tutorial paper reviews the state of knowledge of on-chip ESD (electrostatic discharging) protection circuit design for integrated circuits. The discussion covers critical issues in ESD design, such as, ESD test models, ESD failure mechanism, ESD protection structures, ESD device modeling, ESD simulation, ESD layout issues, and ESD influences on circuit functionality, etc. This review serve...

abstract the decisions and personal preferences of the designer are vital for all aspects and stages of the design. to elaborate, the designer has the central role in creation, development, detailing and construction of the built forms. also, the scientific/engineering evaluations of the design models are carried out under the directions and decisions of the designer. the paper explores the con...

Recent research in software architecture and design patterns has focussed on identifying existing large-scale chunks of design, with the intent of communicating these designs so that they may be reused. However, these design patterns, idioms, and styles are typically given to designers whole and the rationale for their internal structure is seldom made clear. Because of this, the relationship b...

Nowadays, the different computer tools available enable designers to create complex industrial prototypes. The use of these tools is constrained by the limitations imposed by common devices, like screens and displays. Recently emerged Virtual and Augmented Reality techniques have started being used as supports in many learning and industrial environments. Beyond the new possibilities that these...

When designing products for many different use situations, designers need insight into the variations between these situations and the differing requirements each situation imposes on a design. For example, when designing a compact photo camera, designers could observe cameras being used by students while taking pictures of themselves at a party or by skiers taking pictures of mountains in the ...

Industrial design processes can be described as human design problem solving, incorporating the acquisition, evaluation, production and transfer of specific knowledge. In this paper, we will describe the connection and interaction between visualization and reasoning during different stages of the design process. Thereby we focus on three early stages of this process: clarifying the task, concep...

Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key for the designers to prototype and experiment with the intelligent behaviors. However most of the design students do not have inherent affinity towards programming and electronics. The AdMoVeo robotic platform is desig...