Sciweavers

264 search results - page 10 / 53
» Logic Synthesis for Engineering Change
Sort
View
TASE
2007
IEEE
15 years 3 months ago
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
Franck Cassez, Stavros Tripakis, Karine Altisen
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 1 months ago
Synthesis for multiple input wires replacement of a gate for wiring consideration
The alternative wire technique attempts to replace a target wire by another wire without changing the logic functionality. In this paper, we propose two new transformations of rep...
Shih-Chieh Chang, Jung-Cheng Chuang, Zhong-Zhen Wu
ITC
1999
IEEE
105views Hardware» more  ITC 1999»
15 years 1 months ago
Finite state machine synthesis with concurrent error detection
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
Chaohuang Zeng, Nirmal R. Saxena, Edward J. McClus...
INTEGRATION
2008
87views more  INTEGRATION 2008»
14 years 9 months ago
SafeResynth: A new technique for physical synthesis
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
AMKM
2003
Springer
15 years 2 months ago
Agent-Mediated Knowledge Engineering Collaboration
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
Adam Pease, John Li