TIET Digital Repository
TuDR is the digital asset management system which integrates the intellectual output in the form of research articles, PhD Theses, M.Tech/ME Theses. TuDR facilitates the share and exchange of intellectual output of the university.
Browsing by Subject Formal Checking
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2018 | Pre Silicon RTL Verification of Mixed Signal IPs | Agarwal, Mohit; Khajuria, Shruti |