Consider renaming simulate to semantics

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.

Apache License 2.0

124 stars 20 forks source link

Consider renaming simulate to semantics #807

Open satnam6502 opened 3 years ago

satnam6502 commented 3 years ago

Upon reflection, the word simulate is perhaps not the best choice and maybe we should revert to semantics or some other name that causes less confusion.

jadephilipoom commented 3 years ago

I agree that the name is a bit confusing, but semantics is currently what we call our Cava instances when defining circuits, so that particular replacement might cause name collisions. I'm struggling to think of other ideas -- run and interp both seem like they would cause just as much confusion.

satnam6502 commented 3 years ago

Good point. Let's noodle on this a bit: it's not urgent.