search

tuura / plato

A DSL for asynchronous circuits specification
Other
12 stars 2 forks source link

Added combinational gate concept #94

Closed jrbeaumont closed 6 years ago

jrbeaumont commented 6 years ago

The combinationalGate concept takes in a single Boolean function, the set function of a combinational gate. This type of gate uses this set function for both the set and reset of the gate, simply negating the set function for the reset. Therefore, this concept takes a single function, but produces a set and reset function for the given signal.

snowleopard commented 6 years ago

Something off with the CI?

jrbeaumont commented 6 years ago

The CI issue stems from a problem with not being able to find the stack file once it's downloaded. It should now be fixed.

snowleopard commented 6 years ago

@jrbeaumont Yep, your fix seems to work!

Now, let's add a test. For example, something like combinationalGate (And x y) == andGate x y.

jrbeaumont commented 6 years ago

@snowleopard I have added a test. It tests combinationalGate which uses complexGate, so this is also tested, and this in turn uses function so this is tested too!

snowleopard commented 6 years ago

@jrbeaumont Nice! The PR is now merged, thank you.