we'd like to validate the integrated knowledge so that given the integrated knowledge artefact (kinship mind) we both simulate and emulate std_ulogic_1164 resolution top std_logic_1164.
The idea is that we'd use another mind to translate the artefact into a more natural form, a native expression. In VHDL this is done by using the matrix. A function which is quick to execute.
We've got two agendas here i) validate the knowledge, is it complete/accurate. ii) know more about knowing and thinking, in particular using different minds and discovering their native artefact formats.
Ideally we should be able to produce an elixir function from the yarn which implements std_ulogic resolution to std_logic, and this would be fully declarative, by declaring knowledge.
- given the signal std_ulogic what is the signal std_logic?
- given any two std_ulogic_1164 values what rule/s determine the result?
- given any two std_ulogic_1164 values what is the result?
We might be able to use crux, which is a predicate logic evaluator. It is used by Ash.Policy, but a separate repo.
we'd like to validate the integrated knowledge so that given the integrated knowledge artefact (kinship mind) we both simulate and emulate std_ulogic_1164 resolution top std_logic_1164.
The idea is that we'd use another mind to translate the artefact into a more natural form, a native expression. In VHDL this is done by using the matrix. A function which is quick to execute.
We've got two agendas here i) validate the knowledge, is it complete/accurate. ii) know more about knowing and thinking, in particular using different minds and discovering their native artefact formats.
Ideally we should be able to produce an elixir function from the yarn which implements std_ulogic resolution to std_logic, and this would be fully declarative, by declaring knowledge.
We might be able to use crux, which is a predicate logic evaluator. It is used by Ash.Policy, but a separate repo.