RegN to RegNPars and RegN' to RegNRec

parent bab74c62
\begin{code}
module PiWare.Samples.RegN where
module PiWare.Samples.RegNPars where
open import Function using (_$_; _∘′_; _∘_; id; _⟨_⟩_)
open import Coinduction using (♯_)
......
\begin{code}
module PiWare.Samples.RegN' where
module PiWare.Samples.RegNRec where
open import Function using (_∘′_; flip; _$_)
open import Coinduction using (♯_)
......
\begin{code}
module PiWare.Samples.RegN'Properties where
module PiWare.Samples.RegNRecProperties where
open import Function using (_∘′_; flip)
open import Coinduction using (♯_; ♭)
......@@ -27,8 +27,8 @@ open import PiWare.Semantics.Simulation Atomic-Bool using (delay′; module With
open import PiWare.Semantics.Simulation.BoolTrio using () renaming (spec to b₃)
open WithGates b₃ using (⟦_⟧ᶜ; ⟦_⟧ω)
open import PiWare.Samples.BoolTrioSeq using (reg)
open import PiWare.Samples.RegN' using (regn-plug; regn)
open import PiWare.Samples.RegProperties using (regW,R-I⇒O; regR,R-I⇒O)
open import PiWare.Samples.RegNRec using (regn-plug; regn)
open import PiWare.Semantics.Simulation.Properties.Sequential Atomic-Bool using (⟦⟧ω[–]-cong; ⟦⟧ω[–]-⟫⇒∘; ⟦⟧ω[–]-∥⇒zipWith++)
......
......@@ -64,14 +64,6 @@ import PiWare.Patterns
import PiWare.Plugs.Core
import PiWare.Plugs
import PiWare.Samples.BoolTrioComb
import PiWare.Samples.BoolTrioSeq
import PiWare.Samples.Muxes
import PiWare.Samples.RegN
import PiWare.Samples.RegN'
import PiWare.Samples.RegN'Properties
import PiWare.Samples.RegProperties
import PiWare.Semantics.AreaAnalysis.BoolTrio
import PiWare.Semantics.AreaAnalysis.Nand
import PiWare.Semantics.AreaAnalysis
......@@ -90,6 +82,14 @@ import PiWare.Semantics.Simulation
import PiWare.Semantics.SimulationState.Properties.Sequential
import PiWare.Semantics.SimulationState
import PiWare.Samples.BoolTrioComb
import PiWare.Samples.BoolTrioSeq
import PiWare.Samples.RegProperties
import PiWare.Samples.Muxes
import PiWare.Samples.RegNPars
import PiWare.Samples.RegNRec
import PiWare.Samples.RegNRecProperties
import PiWare.Typed.Circuit
import PiWare.Typed.Patterns
import PiWare.Typed.Plugs
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment