Presentation | 2003/11/21 A False Path Detection Algorithm Based on Identification of Implication Relations Hiroyuki HIGUCHI, Yusuke MATSUNAGA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper we propose a false path detection method based on identification of relations between signals in combinational circuits. The method focuses on the idea that relations between signals implicitly represents sets of false paths and generates false paths without path enumeration in an delay-independent manner. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | false path / timing analysis / combinational circuit / implication / timing optimization |
Paper # | DC2003-49 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2003/11/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Dependable Computing (DC) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A False Path Detection Algorithm Based on Identification of Implication Relations |
Sub Title (in English) | |
Keyword(1) | false path |
Keyword(2) | timing analysis |
Keyword(3) | combinational circuit |
Keyword(4) | implication |
Keyword(5) | timing optimization |
1st Author's Name | Hiroyuki HIGUCHI |
1st Author's Affiliation | CAD Laboratory, Fujitsu Laboratories Ltd.:Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University() |
2nd Author's Name | Yusuke MATSUNAGA |
2nd Author's Affiliation | Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University |
Date | 2003/11/21 |
Paper # | DC2003-49 |
Volume (vol) | vol.103 |
Number (no) | 480 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |