| Presentation | 2007-01-18 Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication Hirohisa FUJITA, Masahiko HAMADA, Tadaaki TANIMOTO, Akio NAKATA, Teruo HIGASHINO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Wiring delay imposes a limitation on increase of clock frequency. Therefore, instantaneous communications consuming no clock cycles are sometimes used. Cycle accurate behavior models allowing such communications have a problem of oscillation and divergence in variable values caused by combinational loops. In this paper, we propose a model checking method of cycle accurate behavior models including instantaneous communications of wire. Proposed method can detect the occurrence of oscillation, divergence and other problems like access conflict. In the experiments, we confirmed the effectiveness of our method using several simple test cases. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | instantaneous communication / constructive analysis / combinational loops / cycle accurate behavior model / model checking |
| Paper # | VLD2006-98,CPSY2006-69,RECONF2006-69 |
| Date of Issue |
| Conference Information | |
| Committee | RECONF |
|---|---|
| Conference Date | 2007/1/11(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 | Reconfigurable Systems (RECONF) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication |
| Sub Title (in English) | |
| Keyword(1) | instantaneous communication |
| Keyword(2) | constructive analysis |
| Keyword(3) | combinational loops |
| Keyword(4) | cycle accurate behavior model |
| Keyword(5) | model checking |
| 1st Author's Name | Hirohisa FUJITA |
| 1st Author's Affiliation | Dept. of Information Science and Technology, Osaka University() |
| 2nd Author's Name | Masahiko HAMADA |
| 2nd Author's Affiliation | Dept. of Information Science and Technology, Osaka University |
| 3rd Author's Name | Tadaaki TANIMOTO |
| 3rd Author's Affiliation | Dept. of Information Science and Technology, Osaka University |
| 4th Author's Name | Akio NAKATA |
| 4th Author's Affiliation | Dept. of Information Science and Technology, Osaka University |
| 5th Author's Name | Teruo HIGASHINO |
| 5th Author's Affiliation | Dept. of Information Science and Technology, Osaka University |
| Date | 2007-01-18 |
| Paper # | VLD2006-98,CPSY2006-69,RECONF2006-69 |
| Volume (vol) | vol.106 |
| Number (no) | 458 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |