HardwareIR / netlistDB

netlistDB - Intermediate format for digital hardware representation with graph database API
MIT License
29 stars 2 forks source link

proper type system #15

Open Nic30 opened 5 years ago

Nic30 commented 5 years ago

Current implementation derives the type of the operator result in very simple way. On the top of that the types are not actually checked. You can for example assign 32b vector to 64b one without any warning.

Each hw type has to have virtual methods responsible for this check and resolutions.