Home
last modified time | relevance | path

Searched refs:backannotation (Results 1 – 13 of 13) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/dumper/
H A Dbtordumpaig.c60 BtorPtrHashTable *backannotation; in dumpaig_dump_aux() local
71 backannotation = btor_hashptr_table_new (btor->mm, 0, 0); in dumpaig_dump_aux()
91 av = btor_exp_to_aigvec (btor, nodes[i], backannotation); in dumpaig_dump_aux()
122 backannotation); in dumpaig_dump_aux()
128 btor_iter_hashptr_init (&it, backannotation); in dumpaig_dump_aux()
134 btor_hashptr_table_delete (backannotation); in dumpaig_dump_aux()
203 BtorPtrHashTable *backannotation) in btor_dumpaig_dump_seq() argument
443 if (backannotation) in btor_dumpaig_dump_seq()
450 b = btor_hashptr_table_get (backannotation, aig); in btor_dumpaig_dump_seq()
/dports/cad/lepton-eda/lepton-eda-1.9.17/docs/manual/
H A Dlepton-netlist-pads.texi99 backannotation:
119 processed by the PADS to @schematic{} backannotation tool. The slot
124 @subsubsection Detailed backannotation procedure
H A Dlepton-manual.info-15086 PowerPCB tool supports three types of schematic backannotation:
5101 processed by the PADS to ‘lepton-schematic’ backannotation tool. The
5105 6.4.2.1 Detailed backannotation procedure
/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorcore.h323 BtorPtrHashTable *backannotation);
H A Dbtorcore.c2475 BtorPtrHashTable *backannotation) in btor_synthesize_exp() argument
2535 if (btor_node_is_bv_var (cur) && backannotation in btor_synthesize_exp()
2544 b = btor_hashptr_table_add (backannotation, cur->av->aigs[i]); in btor_synthesize_exp()
2554 b = btor_hashptr_table_add (backannotation, cur->av->aigs[0]); in btor_synthesize_exp()
3175 btor_exp_to_aigvec (Btor *btor, BtorNode *exp, BtorPtrHashTable *backannotation) in btor_exp_to_aigvec() argument
3184 btor_synthesize_exp (btor, exp, backannotation); in btor_exp_to_aigvec()
/dports/cad/ghdl/ghdl-1.0.0/doc/using/
H A DImplementationOfVITAL.rst92 standard and should occur after backannotation.
/dports/cad/nvc/nvc-r1.5.3/lib/synopsys/
H A Dattributes.vhd28 -- attributes for type conversion functions, SDF backannotation and
/dports/cad/lepton-eda/lepton-eda-1.9.17/contrib/
H A DREADME135 A perl program which implements backannotation from Pads PowerPCB
/dports/cad/geda/geda-gaf-1.8.2/utils/
H A DREADME189 A perl program which implements backannotation from Pads PowerPCB
/dports/cad/lepton-eda/lepton-eda-1.9.17/docs/changelogs/
H A Dchangelog.docs370 backannotation script (by Dan McMahill).
/dports/cad/geda/geda-gaf-1.8.2/docs/
H A DChangeLog-1.0370 backannotation script (by Dan McMahill).
/dports/cad/ghdl/ghdl-1.0.0/doc/
H A Dghdl.texi5705 @anchor{references/ImplementationOfVITAL backannotation}@anchor{a3}@anchor{references/Implementatio…
5740 standard and should occur after backannotation.
/dports/cad/pcb/pcb-4.2.0/doc/
H A Dpcb.texi5939 @cindex backannotation file format