For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
A Scheduling Method Using Boolean Equations in High-Level Synthesis
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/12/25
Print ISSN: 0916-8508
Type of Manuscript: Special Section LETTER (Special Section on the 1992 IEICE Fall Conference)
integer linear programming, BDD, data path,
Full Text: PDF(332.3KB)>>
This paper describes two algorithms based on Boolean formulations aimed at solving scheduling, the main subtask of data path synthesis. Using the first algorithm, all possible scheduling solutions can be obtained under a time constraint, something that cannot be accomplished with other available systems. The second algorithm produces feasible solutions without increasing the complexity of the problem. The effectiveness of the algorithms is confirmed through experimental studies.