Shahzad Haider, Ruochen Ding, Naheel Raza Rizvi, Song Chen
{"title":"Automated Partition-Based Liberty Modelling for Asynchronous Circuits","authors":"Shahzad Haider, Ruochen Ding, Naheel Raza Rizvi, Song Chen","doi":"10.1049/ell2.70519","DOIUrl":null,"url":null,"abstract":"<p>Automated liberty characterization remains elusive for asynchronous cells whose feedback and multi-output behaviour break monolithic flows. We introduce a partition and recomposition strategy that exercises loop-free sub-blocks with exhaustive four-phase testbenches and recompose the resulting liberty snippets into sign-off views. Applied to sense amplifier half buffers, the flow limits functional error to below <span></span><math>\n <semantics>\n <mrow>\n <mn>0.1</mn>\n <mo>%</mo>\n </mrow>\n <annotation>$0.1\\%$</annotation>\n </semantics></math>, timing deviation to <span></span><math>\n <semantics>\n <mrow>\n <mn>8.5</mn>\n <mo>%</mo>\n </mrow>\n <annotation>$8.5\\%$</annotation>\n </semantics></math>, and power error to 13–<span></span><math>\n <semantics>\n <mrow>\n <mn>19</mn>\n <mo>%</mo>\n </mrow>\n <annotation>$19\\%$</annotation>\n </semantics></math> while retaining <span></span><math>\n <semantics>\n <mrow>\n <mn>95</mn>\n <mo>%</mo>\n </mrow>\n <annotation>$95\\%$</annotation>\n </semantics></math> of pins. The approach eliminates bespoke scenarios, scales linearly with library size, and enables asynchronous circuits to integrate into electronic design automation sign-off.</p>","PeriodicalId":11556,"journal":{"name":"Electronics Letters","volume":"62 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2026-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ietresearch.onlinelibrary.wiley.com/doi/epdf/10.1049/ell2.70519","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronics Letters","FirstCategoryId":"5","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1049/ell2.70519","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}
引用次数: 0
Abstract
Automated liberty characterization remains elusive for asynchronous cells whose feedback and multi-output behaviour break monolithic flows. We introduce a partition and recomposition strategy that exercises loop-free sub-blocks with exhaustive four-phase testbenches and recompose the resulting liberty snippets into sign-off views. Applied to sense amplifier half buffers, the flow limits functional error to below , timing deviation to , and power error to 13– while retaining of pins. The approach eliminates bespoke scenarios, scales linearly with library size, and enables asynchronous circuits to integrate into electronic design automation sign-off.
期刊介绍:
Electronics Letters is an internationally renowned peer-reviewed rapid-communication journal that publishes short original research papers every two weeks. Its broad and interdisciplinary scope covers the latest developments in all electronic engineering related fields including communication, biomedical, optical and device technologies. Electronics Letters also provides further insight into some of the latest developments through special features and interviews.
Scope
As a journal at the forefront of its field, Electronics Letters publishes papers covering all themes of electronic and electrical engineering. The major themes of the journal are listed below.
Antennas and Propagation
Biomedical and Bioinspired Technologies, Signal Processing and Applications
Control Engineering
Electromagnetism: Theory, Materials and Devices
Electronic Circuits and Systems
Image, Video and Vision Processing and Applications
Information, Computing and Communications
Instrumentation and Measurement
Microwave Technology
Optical Communications
Photonics and Opto-Electronics
Power Electronics, Energy and Sustainability
Radar, Sonar and Navigation
Semiconductor Technology
Signal Processing
MIMO