Sciweavers

980 search results - page 107 / 196
» Novel Test Pattern Generators for Pseudo-Exhaustive Testing
Sort
View
DAC
2001
ACM
14 years 8 months ago
An Algorithm for Bi-Decomposition of Logic Functions
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
Alan Mishchenko, Bernd Steinbach, Marek A. Perkows...
ASPDAC
2005
ACM
142views Hardware» more  ASPDAC 2005»
13 years 9 months ago
Bridging fault testability of BDD circuits
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
Junhao Shi, Görschwin Fey, Rolf Drechsler
ASPDAC
2001
ACM
112views Hardware» more  ASPDAC 2001»
13 years 11 months ago
Parameterized MAC unit implementation
Ethernet communication devices, such as adapter, hub, bridge and switch, all follow IEEE 802.3 standard protocol. We have designed and implemented an integrated 10/100 Mbps Etherne...
Ming-Chih Chen, Ing-Jer Huang, Chung-Ho Chen
SAC
2006
ACM
14 years 1 months ago
Digital geometry image analysis for medical diagnosis
This paper describes a new medical image analysis technique for polygon mesh surfaces of human faces for a medical diagnosis application. The goal is to explore the natural patter...
Jiandong Fang, Shiaofen Fang, Jeffrey Huang, Mihra...
RECOMB
2004
Springer
14 years 1 months ago
Application of Kernel Method to Reveal Subtypes of TF Binding Motifs
Transcription factor binding sites often contain several subtypes of sequences that follow not just one but several different patterns. We developed a novel sensitive method based ...
Alexander E. Kel, Yuri Tikunov, Nico Voss, Jü...