Mostra i principali dati dell'item
STA for mixed cyclic, acyclic circuits
dc.creator | Simoglou S., Sotiriou C., Valiantzas D., Sketopoulos N. | en |
dc.date.accessioned | 2023-01-31T09:56:15Z | |
dc.date.available | 2023-01-31T09:56:15Z | |
dc.date.issued | 2020 | |
dc.identifier | 10.1109/ISVLSI49217.2020.00078 | |
dc.identifier.isbn | 9781728157757 | |
dc.identifier.issn | 21593469 | |
dc.identifier.uri | http://hdl.handle.net/11615/78988 | |
dc.description.abstract | In this work, we present a Static Timing Analysis (STA) methodology for cyclic circuits with attached acyclic datapaths, as an alternative to SPICE level electrical simulation, based on ASTA (Asynchronous STA). Our methodology uses Graph-based Analysis (GBA) STA principles, is fast, is able to compute setup or hold slacks on sequential elements, and operates without cycle cutting. Industrial Timing Libraries, Verilog input and multiple PVT corners are supported. To perform STA on the cyclic circuit portion, a Graph-based Event Model, a live and 1-bounded Signal Transition Graph (STG), i.e. a simplified PeTri-Net (PTnet), the Event Timing Graph (ETG), is automatically generated from the netlist and the associated timing arcs. The ETG is a cyclic, timing arcs graph, the period analysis of which can identify the cyclic portion's period and Critical Cycle(s). The acyclic portion's STA may be subsequently performed, based on the cyclic portion's Arrival Times (AT). We illustrate an algorithm for automated ETG construction, based solely on circuit components, and their technology library (.lib) timing arcs unateness. We prove that the generated ETG will be live and 1-bounded. Our STA approach is demonstrated on three practical, mixed cyclic, acyclic circuits, a ring-oscillator, a Vernier delay line, and a GALS controller. © 2020 IEEE. | en |
dc.language.iso | en | en |
dc.source | Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85088131802&doi=10.1109%2fISVLSI49217.2020.00078&partnerID=40&md5=9c00228d1e421c1dcea487dbf8efd2ff | |
dc.subject | Delay circuits | en |
dc.subject | Graphic methods | en |
dc.subject | Petri nets | en |
dc.subject | SPICE | en |
dc.subject | VLSI circuits | en |
dc.subject | Automatically generated | en |
dc.subject | Circuit components | en |
dc.subject | Electrical simulation | en |
dc.subject | Sequential elements | en |
dc.subject | Signal transition graphs | en |
dc.subject | Static timing analysis | en |
dc.subject | Timing libraries | en |
dc.subject | Vernier delay line | en |
dc.subject | Timing circuits | en |
dc.subject | IEEE Computer Society | en |
dc.title | STA for mixed cyclic, acyclic circuits | en |
dc.type | conferenceItem | en |
Files in questo item
Files | Dimensione | Formato | Mostra |
---|---|---|---|
Nessun files in questo item. |