Sciweavers

367 search results - page 29 / 74
» tools 1997
Sort
View
ISSS
1997
IEEE
109views Hardware» more  ISSS 1997»
14 years 28 days ago
Reducing the Complexity of ILP Formulations for Synthesis
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases. There exists some tools that give an o...
Anne Mignotte, Olivier Peyran
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
14 years 28 days ago
A Novel Functional Test Generation Method for Processors Using Commercial ATPG
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
Raghuram S. Tupuri, Jacob A. Abraham
ACSE
1997
ACM
14 years 28 days ago
I/O considered harmful (at least for the first few weeks)
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
John Rosenberg, Michael Kölling
DAC
1997
ACM
14 years 27 days ago
Safe BDD Minimization Using Don't Cares
In many computer-aided design tools, binary decision diagrams (BDDs) are used to represent Boolean functions. To increase the efficiency and capability of these tools, many algor...
Youpyo Hong, Peter A. Beerel, Jerry R. Burch, Kenn...
SIGCOMM
1997
ACM
14 years 27 days ago
Automated Packet Trace Analysis of TCP Implementations
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
Vern Paxson