Searched refs:backannotation (Results 1 – 13 of 13) sorted by relevance
/dports/math/boolector/boolector-3.2.2/src/dumper/ |
H A D | btordumpaig.c | 60 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 D | lepton-netlist-pads.texi | 99 backannotation: 119 processed by the PADS to @schematic{} backannotation tool. The slot 124 @subsubsection Detailed backannotation procedure
|
H A D | lepton-manual.info-1 | 5086 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 D | btorcore.h | 323 BtorPtrHashTable *backannotation);
|
H A D | btorcore.c | 2475 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 D | ImplementationOfVITAL.rst | 92 standard and should occur after backannotation.
|
/dports/cad/nvc/nvc-r1.5.3/lib/synopsys/ |
H A D | attributes.vhd | 28 -- attributes for type conversion functions, SDF backannotation and
|
/dports/cad/lepton-eda/lepton-eda-1.9.17/contrib/ |
H A D | README | 135 A perl program which implements backannotation from Pads PowerPCB
|
/dports/cad/geda/geda-gaf-1.8.2/utils/ |
H A D | README | 189 A perl program which implements backannotation from Pads PowerPCB
|
/dports/cad/lepton-eda/lepton-eda-1.9.17/docs/changelogs/ |
H A D | changelog.docs | 370 backannotation script (by Dan McMahill).
|
/dports/cad/geda/geda-gaf-1.8.2/docs/ |
H A D | ChangeLog-1.0 | 370 backannotation script (by Dan McMahill).
|
/dports/cad/ghdl/ghdl-1.0.0/doc/ |
H A D | ghdl.texi | 5705 @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 D | pcb.texi | 5939 @cindex backannotation file format
|