mohitahirwar / automatic-abstract-model-computation-from-verilog-design-descriptions Goto Github PK

View Code? Open in Web Editor NEW

Modeling 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.

C++ 0.82% Python 1.88% Verilog 97.30%

automatic-abstract-model-computation-from-verilog-design-descriptions's Introduction

Automatic-abstract-model-computation-from-Verilog-design-descriptions

What is abstraction?

it is process of hiding implementation details and only showing the functionality to the user. Abstraction focus on what the object does instead of how it does. It is achieved by using Abstract class and Interface. abstract methods (methods without body, cannot be static and final), interface must implemented and abstract classes must be extended by regular classes in order to achieve abstraction

Why is Abstraction necessary?

Due to the complexity of life, abstraction is necessary. Complex systems must be simplified for people to understand and use them. To understand this in simple form. Let us take an example of 8-Bit Counter. 8-Bit Counter will count from 0 to 255. Let us assume that this design is a bit complicated. To make this design simpler we have to do abstraction. This can be done by introducing new states in between the counter or reducing the bit width. The new design/Abstract model will count from 0 to 127, and then 127 to 255. This can be easily visualized in the following diagram:

mohitahirwar / automatic-abstract-model-computation-from-verilog-design-descriptions Goto Github PK