Sciweavers

5414 search results - page 31 / 1083
» Data representation synthesis
Sort
View
ITC
2000
IEEE
62views Hardware» more  ITC 2000»
15 years 7 months ago
Power conscious test synthesis and scheduling for BIST RTL data paths
Nicola Nicolici, Bashir M. Al-Hashimi
ASPDAC
1995
ACM
98views Hardware» more  ASPDAC 1995»
15 years 7 months ago
Synthesis and simulation of digital demodulator for infrared data communication
Hiroshi Uno, Toru Chiba, Keiji Kumatani, Isao Shir...
JOT
2010
208views more  JOT 2010»
15 years 1 months ago
Automatic Test Data Synthesis using UML Sequence Diagrams
Ashalatha Nayak, Debasis Samanta
173
Voted
AWPN
2008
232views Algorithms» more  AWPN 2008»
15 years 4 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser