High-reliability system design has experienced a similar need to reduce system size, power, and cost while maintaining expected reliability. Traditionally, these system designs have achieved reliability through redundancy. This redundancy manifests itself though increased component count, logic size, system power, and cost. These same reliability requirements and attributes are shared by other ...

Greatly simplifying the robotic design process, NEXCOM*, working closely with various solution providers, developed pre-integrated and pre-validated solutions for a range of robotics applications. NEXCOM controllers based on Intel® processors perform precise robotics control and run essential industrial application software. This paper describes several robotics use cases and corresponding prov...

In this paper, we discuss some of the trends in the industrial designs of smart sensor systems. Highperformance sensor systems have been implemented by combining the sensing and signal processing functions on the same chip. Some applications of magnetic field measurements will be discussed.

We explain the rationale behind the design of the TLA+ specification language, and we describe our experience using it and the TLC model checker in industrial applications—including the verification of multiprocessor memory designs at Intel. Based on this experience, we challenge some conventional wisdom about high-level specifications.

The role of automatic formal protocol veriica-tion in hardware design is considered. Principles are identiied that maximize the beneets of protocol veriication while minimizing the labor and computation required. A new protocol description language and veriier (both called Mur') are described , along with experiences in applying them to two industrial protocols that were developed as part of ha...

Advanced motor drives are an integral part of many systems in appliance, industrial, and automotive applications. Due to their complexity, the development of motor control applications is an intricate and challenging task for developers. In order to shorten the development time and so the product time to market, Freescale offers different motor control reference designs for various MCU devices,...

This paper aims to figure out difference of our impressions on curves that are used in shape designs, and also contribute industrial designers by implementing a smart computer aided design (CAD) systems which have as same feelings on curves as human designer’s. The proposed K-Vector is a mathematical form of classifying such curves by designer’s impressions.

Recursive learning is a general technique for analyzing Boolean problems. In this paper, we evaluate various heuristics for improving the runtime efficiency of this technique when applied to the problem of combinational equivalence checking. All heuristics are evaluated on a set of 29 examples containing the ISCAS benchmarks as well as industrial designs.

Today, system designs and their management are crucial parts of most systems development processes. To stay competitive engineers from several expertise domains use Model-Based engineering (MBE) to design the systems they intend to implement in order to specify, test, simulate, validate and iterate their design as soon as possible. System designs are living and evolving artefacts this imply to ...

Converting an HDL-based design into an emulation system for design veri cation is an extremely complex and time-consuming task. One possible solution to improve productivity is an e ective emulation-based design methodology that exploits the modularity of designs. This paper develops and explores such a methodology. We present a multi-level synthesis method which is able to establish a direct l...