Boolean comparison of hardware and flowcharts

G. L. Smith, R. J. B., & Halliwell, H. (1982). Boolean comparison of hardware and flowcharts.

Type

Unclassified

Intellectual base

Unclassified

Year

1982

DOI

10.1147/rd.261.0106

Link

https://doi.org/10.1147/rd.261.0106

Cited by

1 citation across 1 artifact.

Domain-specific

• And-inverter graph
  • … variables, DAG nodes and topological order, two-input AND semantics, complemented-edge convention, constants and outputs, structural hashing, equivalence and size or depth metrics are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:9239f5ad1051 · see in the full table