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.
Haider et al. (2026) studied this question.