A
A. Narayan
Publications - 1
Citations - 32
A. Narayan is an academic researcher. The author has contributed to research in topics: Formal verification & Sequential logic. The author has an hindex of 1, co-authored 1 publications receiving 32 citations.
Papers
More filters
Proceedings ArticleDOI
A survey of techniques for formal verification of combinational circuits
TL;DR: The authors survey some state-of-the-art techniques used to perform automatic verification of combinational circuits and classify the current approaches for combinational verification into two categories: functional and structural.