This paper proposes a fast algorithm for Boolean matching of completely specified Boolean functions. The algorithm can be applied on-the-fly to millions of small practical functions appearing in industrial designs, leading to runtime and memory reduction in logic synthesis and technology mapping. The algorithm is conceptually simpler, faster, and more scalable than previous work.

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,...

We present a framework for generating a trivariate B-spline parametrization of turbine blades from measurement data generated by optical scanners. This new representation replaces the standard patchbased representation of industrial blade designs. In a first step, the blade surface is represented by a smoothly varying family of B-spline curves. In a second step, the blade is parametrized by a t...

This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexity, restricted to verifying only the control behavior. The circuit is modeled at the arithmetic bit level (ABL) so that our approach is well adapted to current industrial design styles for high performance data paths....

Involving end-users can make a real difference in producing products and designs that actually meet their needs and wants. This is particularly important when it comes to older and disabled users, who often differ markedly from designers. This paper considers how such participatory design with older and disabled users can be put into practice in an industrial setting, through examining a study ...

In this contribution, we present a novel methodology for flexible design of industrial systems based on detailed differential value analysis (Sadhukhan, J. Ph.D. Dissertation, UMIST, Manchester, U.K., 2002). Evolving from graph theory this methodology performs better than conventional mathematical programming based optimisation approaches through systematic structural decomposition of large sca...

How do designers explore a design space to generate diverse solutions? This work focuses on the identification of design heuristics used in the ideation process in the domains of industrial design and engineering design. Design heuristics are cognitive strategies applied to a design problem to help designers create novel solutions. In a think-aloud protocol, engineers and industrial designers w...