’θ‹`‚Μ‚ ‚ι—pŒκ

Π‰ξ‚Ύ‚―‚Μ—pŒκ

ƒŒƒWƒXƒ^“]‘—ƒŒƒxƒ‹iRegister Transfer Level, RTLj

ƒyƒgƒŠƒlƒbƒgiPetri Netj

@

ƒRƒ“ƒgƒ[ƒ‹ƒf[ƒ^ƒtƒ[ƒOƒ‰ƒtiControl/Data Flow Graph, CDFGj

@

—LŒΐσ‘Τ‹@ŠBiFinite State Machine, FSMj

@

ƒ~[ƒŠŒ^

ƒ€[ƒAŒ^

@

ƒf[ƒ^ƒpƒX

@

§Œδ‰ρ˜H