Sciweavers

67 search results - page 7 / 14
» Embedded Deterministic Test for Low-Cost Manufacturing Test
Sort
View
DAC
1999
ACM
13 years 11 months ago
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
Raghuram S. Tupuri, Arun Krishnamachary, Jacob A. ...
WOTUG
2008
13 years 9 months ago
FPGA based Control of a Production Cell System
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan...
KBSE
2008
IEEE
14 years 1 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
TSE
2011
214views more  TSE 2011»
13 years 2 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ICRA
2007
IEEE
131views Robotics» more  ICRA 2007»
14 years 1 months ago
Design of an Automated Handling System for Limp, Flexible Sheet Lasagna Pasta
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
René J. Moreno Masey, Darwin G. Caldwell