ECFCC Project

 
  Home | People | Papers | Tool description | Contact  
Expected Checksum based on Frames for Communication Circuits  
 
People
Stefan Andrei
Wei-Ngan Chin
Albert M.K. Cheng
Yongxin Zhu
 
Conferences
 
Papers

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem
S. Andrei, W.-N. Chin, A. M.K. Cheng, and Y. Zhu
To appear, 2004

Incremental satisfiability counting for realtime systems
S. Andrei and W.-N. Chin
Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS ’04), 2004, pp. 482– 489

LGSynth91 benchmark
Intíl Workshop on Logic Synthesis
Available at http://www.cbl.ncsu.edu/

The determinant of the boolean formulae
S. Andrei
Analele Universitatii Bucuresti, Informatica, vol. XLIV, pp. 83Ė92, 1995

Counting for satisfiability by inverting resolution
S. Andrei
Artificial Intelligence Review, 2004

 
 
 
Home | People | Papers | Tool description | Contact
|:. Copyright reserved for all software available on the site .:|:. Page template: Finerdesign.com .:|:. Webmaster: Mihai Lupu .:|