How to create a modulo 8 counter with a “Free” variable in a Formal Verification language?

后端 未结 0 847
慢半拍i
慢半拍i 2020-12-15 01:56

The task I am trying to complete is as follows:

Implement a system that simulates a counter (modulo 8) interacting with the environment as a binary model

相关标签:
回答
  • 消灭零回复
提交回复
热议问题