- ๐ Hi, Iโm Nimit. I am a student at Indian Institute of Technology, Jodhpur.
- ๐ Iโm interested in Data Structures and Algorithm, Web technologies like ReactJs and NodeJs.
- ๐ฑ Iโm currently learning Spring and Spring Boot.
nimit3-droid / automatic-abstract-model-computation-from-verilog-design-descriptions Goto Github PK
View Code? Open in Web Editor NEWModeling hardware systems involves abstracting away wide datapaths but keeping low-level details of the underlying control logic in place. Consequently, the state space is significantly reduced and intricate control interactions can be formalized. The abstraction process in these languages, however, must be done manually, an error-prone task.