! / 958151437 0 0 0 1684 ` K!@P@P@PKKRRRRRyypppppppppppppppphhhhhhhhhhhhhhhhhhhhhhhhhhhFFFFhhhhhxxxttnetwork_is_acyclicnetwork_appendnetwork_checknetwork_ccleanupnetwork_cleanup_utilnetwork_cleanupnetwork_collapse_singlenetwork_collapsenetwork_tfinetwork_tfonetwork_dfs_from_inputnetwork_dfsnetwork_special_dfsnetwork_to_pladiscard_planetwork_set_stgnetwork_create_latchnetwork_is_real_pinetwork_is_real_ponetwork_replace_io_fake_namesnetwork_add_fake_primary_outputnetwork_stg_checknetwork_is_controlnetwork_get_controlsnetwork_tfi_ponetwork_stgnetwork_disconnectnetwork_delete_latchnetwork_latch_endnetwork_delete_latch_gennetwork_connectnetwork_freenetwork_change_node_namefind_ex_dcnetwork_num_internalnetwork_dc_networkattach_dcnetwork_to_networkor_net_dcnetcopy_latch_infonetwork_get_pinetwork_get_ponetwork_delete_node_gennetwork_add_primary_inputnetwork_bdd_listnetwork_add_primary_outputnetwork_find_nodenetwork_change_node_typenetwork_num_pinetwork_num_ponetwork_namenetwork_change_node_short_namenetwork_swap_namesnetwork_dupnetwork_add_nodenetwork_delete_nodenetwork_set_namenetwork_allocnetwork_add_bddpla_to_networkpla_to_network_singleespresso_read_plapla_to_dcnetwork_singlenetwork_csweepnetwork_sweep_nodenetwork_sweepnetwork_sweep_utilnetwork_sweep_latchnet_verify_with_dcnetwork_verifyverify_by_collapseinit_networkend_networknetwork_espressonetwork_create_from_nodenetwork_from_nodevecacyclic.o/ 958151412 5352 728 100644 2548 ` ELF4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿀'D`@'D`@' @ @ @@? @ 4D` @' @ @ @ @ @q  @ 㿀'D'HHD@   `?PN 'HD@'D  @ " D 2`   @ D @D * @ '`H'䀢  ''HD@ 㿀'D`@D@'@ @䀢 '`@@ @`@error: network contains a cycle node '' is on the cycle  'x8BKYamxxacyclic.cgcc2_compiled.extract_pathdo_acyclic_checkst_insertlsFinishst_free_tablelsStartst_init_genst_ptrhashst_genst_init_tablenetwork_is_acyclicst_lookupst_ptrcmpnode_namest_free_gennode_errorlsNexterror_append    , D\ \     4 Lt (x (| 0 0as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t8C|p!)t 4Lhappend.o/ 958151413 5352 728 100644 4256 ` ELF`4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentp'D'H'H@'D`<@D` @'ؒؔ @ @" 0` @'ؒؔ @ @ D@  'D` @'ؒؔ @ @<'  @ "  2`   @  @Ԕ * @ '耢`Ԕ * @ `0"Ԓ 'D` @'ؒؔ @ @B'  @ "  2`   @  @Ԕ * @ '耢` ` Ԕ * @ `"Ԓ 'D` @'ؒؔ @ @ `  0䀢@D@D` @'ؒؔ @ @`@  ` N @@"`D` @'ؒؔ @ @@DD 8`84@D@  '@В `?㿈'D'H'LH@'L D@#'` @@""D@H" 0" 0㻈'D'H'H@  "@ @D@  @㻈'D'HHD@@'耢  DH /H `H" 0%DH ' ` " 0D@H@ @  %s:%u: failed assertion `%s' append.c(lsDestroy(node1->fanout, free)) == LS_OK%s-%dnetwork_append: node '%s' already driven  #4\DQZclt %*4>IP]append.ccopy_nodegcc2_compiled.add_node_by_namegen_unique_namenetwork_freelsCreatenode_duplsFinishlsStartcopy_latch_infoutil_strsavnetwork_delete_node_gennetwork_is_acyclicfanin_add_fanoutnetwork_find_nodenetwork_swap_namesnetwork_appendnetwork_dupsprintfnetwork_add_nodefreelsDestroy__eprintfnode_errorlsNexterror_appendstg_free(8 Ph    (@ D \t    8P h l p     0 0   @ Ll $ ` ` h has: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= tx ! f) d 4hnetchk.o/ 958151415 5352 728 100644 7728 ` ELF4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿐'D'H`@H  `@H@ @`@D@`@P'D'D` @'ܒܔ @ @@'쀢  쀢  'D` @'ܒܔ @ @ 4D@ ` gԒ 8 @'Ԁ  ` S@  ` ; @'  @ "  2`   @  @ * @ '̀` 4D@ `;   ' / @ " @' 2` `  @  ؒ @'Ȁ  4D@ ` KD`@'ܒܔ @ @- ` ` @  ` @  ` D`@'ܒܔ @ @ ` ` m@  ` _D` @'ܒܔ @ @`    C |D`@'ؒؔ @ @Ѐ @  ` i @Ѐ  `5 fD`@'ؒؔ @ @Ѐ @  ` v @Ѐ  ` *'  @ "  2`   @  @ * @ '̀`f'Đ?' / @ " @' 2` `  @  @'Ѐ Ѐ 耢 Ā  ` [''Ā  `z H䀢  `m ; '{ / @ " @' 2` `  @  @'Ȁ j'Đ?''  @ "  2`   @  @ * @ 'Ѐ`!Ѐ 耢 Ā  ` '' 'Ā  ` 䀢  ` ~ ` FD`@'D` @'ܒܔ @ @$'@  ` qԀ  ` d ` `  U@D`@'D` @'ܒܔ @ @$ '@  `Z (Ԁ  `M  ` ` >  @ `?network_check: inconsistency detected at -- node on network list not in networknet handle messed up%s:%u: failed assertion `%s' netchk.c(lsFinish(gen1)) == LS_OKa fanin of a node is not in networka fanout of a node is not in networknode on PO list is not type POnode on PO list has fanin not 1node on PO list has fanout not 0node on PI list is not type PInode on PI list has fanin not 0node has type PO, but is not on PO listnode has type PI, but is not on PI listfanout duplicated for some nodefanout list of some fanin is corruptedfanout pin of some fanin is corruptedfanin list of some fanout is corruptedfanin pin of some fanout is corruptednode type is not PI, PO, or INTERNALnode name is not in name_tablenode doesn't match in name_tablename_table contains superfluous entriesnode short_name is not in short_name_tablenode doesn't match in short_name_tableshort_name_table contains superfluous entries %.<DRgwnetchk.cgcc2_compiled.check_errorlsFinishst_free_tablelsStartnetwork_checknode_fanout_init_gennode_fanout_gennode_checknode_num_fanoutlsGenHandlenode_namest_copy__eprintfnode_errorst_deletelsNexterror_appendnode_num_fanin   , (0 (4@PX 0\ 0`lt 8x 8| 8Ph @ @ h h    $ , 0 4   \    ,D\     @ @  ` `$<Tx |   d|        $ Tl        t  8 \       8  8 @ ` D `    T     T  X             , T h  l       H  H   8Px p p     as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= tLp!()l 4hcleanup.o/ 958151417 5352 728 100644 2872 ` ELF 4(.shstrtab.text.symtab.strtab.rela.text.comment㿈'DD @'D 0` 耢 D`0@D" 0㿐'DD  @X'D'H'L'L L"'D` @' @ @ `@  D@ ' 'H D`8@' @ @ ''@ D 0`D 0@@'̀ r @'D`0@@*` @'' / @ " @' 2` `  @   @'   * "`"@'ؐ "ؒ*` @@ @'D`0@D 0@@'Ȁ D`0@D@D@D@ ' 'L L "@䀢 D 0`D`0@ t0+8IWXlu}t $=HOcleanup.cgcc2_compiled.network_ccleanupnetwork_freenode_patch_faninnode_constantnetwork_cleanup_utillsFinishlsStartnode_fanout_init_gennetwork_cleanupnode_fanout_gennetwork_sweepnode_num_fanoutnetwork_delete_node_gennetwork_find_nodenetwork_add_nodefreenetwork_delete_nodenetwork_delete_latch_gennode_errorlsNextMMallocL  8T   @Xdx  \ 4DTdas: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)45 lhW!Ph , hnetclp.o/ 958151418 5352 728 100644 1676 ` ELFt4(.shstrtab.text.symtab.strtab.rela.text.comment㿀'DD@''' @/"  `  @ ` @ ' ` @  ' 'D@  '@㿀'D'''D  @ " D 2`   @ D @D * @ '`D@  ' ' '䀢  881A8R`kwnetclp.cgcc2_compiled.network_collapse_singlenetwork_cleanupnetwork_collapsenode_collapsearray_freenetwork_dfsnode_error.umularray_global_indexarray_abort @ H L T p   as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)45 lp!d , hdfs.o/ 958151419 5352 728 100644 9788 ` ELF$4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentx'D`@'  @'  @'D`@'ؒؔ @ @J   @`"  ` @ `   @ ` @ " `  `" ?" D` @'ؒؔ @ @U@ M `H   @`"  ` @ `   @ ` @ " `  `" ?" ' @="  `  @ ` @ ' @ ` 1`@`@@ '@@x'D`@'  @'  @'D`@'ؒؔ @ @QD@ H   @`"  ` @ `   @ ` @ " `  `" ?" D`@'ؒؔ @ @QD@ H   @`"  ` @ `   @ ` @ " `  `" ?" D` @'ؒؔ @ @U@ M `H   @`"  ` @ `   @ ` @ " `  `" ?" ' @="  `  @ ` @ ' @ ` a`@`@@ '@@x'D`@'  @'  @'D`@'ؒؔ @ @J   @`"  ` @ `   @ ` @ " `  `" ?" D` @'ؒؔ @ @U@ M `H   @`"  ` @ `   @ ` @ " `  `" ?" ' @="  `  @ ` @ ' @ ` `@`@@ '@@㿀'D'H`@'  @''D  @ " D 2`   @ D @D * @ '䀢`" H@ ` `@`@@ '@㿀'D'H`@'  @'D / @ " D@'D 2` `  @   @'䀢  H@! ` `@`@@@x'D'H'L'P'TT LD@   `? 'LD@T {P A'D  @ " D 2`   @ D @D * @ '䀢`T?HLP   '8D / @ " D@'D 2` `  @  ܒ @' T?HLPk  S'LD@H  H @HH`" H `H @HH `  H H@HHH ` @ D"HH `  HH`" H?"  Fatal error: file %s, line %d %s dfs.cnetwork_dfs: network contains a cycle network_dfs_from_input: network contains a cycle network_tfi: network contains a cycle network_tfo: network contains a cycle H(.8>FO]epTl (4C4Wbiodfs.cnetwork_dfs_recurgcc2_compiled.abortst_insert__iobfprintflsFinishst_free_tablelsStartst_ptrhashnode_fanout_init_genfflushnode_fanout_genst_init_tablenetwork_is_controlnode_num_fanoutst_lookupnetwork_tfinetwork_tfoarray_resizenetwork_dfs_from_inputst_ptrcmparray_freenetwork_dfsarray_do_allocnetwork_special_dfsnode_errorlsNext.umularray_global_indexnode_num_faninarray_abort    ,@T l ##,P   L## t! |! ! ! #! !        ( ($ 0( 0, 4 8 <Dd p      ,`## l  #$#`   $ 8##   ! ! ! ! # ! !  < @ D H L ( P ( X 0 \ 0 `  h  l  p x          0 H  x# #       " # L#  8! @! D! L! h#|! !       ( ( X X   ( 4` d h l p` d h l p (t (|           4`     ( (      ( |(4X#8#t as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t`@!)@ T 4$hnet2pla.o/ 958151421 5352 728 100644 6192 ` ELF4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentH'DD  D@'D@'Ѐ ̀  D@'@@'@'@' 1@`@'@'`@' @ @@'@@В*` @'ؠ `@' @ @ *`ؐ " @  @ "  @ Д`"  @  *  @ ` "@ `  *   @ "?@@'  *  @"`   @  J* ؐ@ '@@+     *` "`@@  @+     *` "@*  @ @ *`  @  H`  *   @ '`@' @ @@@@  +` ""@ d`@"@   d`@"` H`  *   @ '`@' @ @3 @'' ` ܒ @'ܐ '@'  @@*` g `   :  *`  @`@ В*`< *`  *   @ < *`<  *  * `@ "  ȑ:`*`ȓ: *Ȕ  * `@ " @@"@@  *  Ā @@ @' ` @'@'  @@*` g `   :  *`  @`@ В*`< *`  *   @ < *`<  *  * `@ "  ȑ:`*`ȓ: *Ȕ  * `@ " `@"`@  *  @@Ȓ ' @؀ @'@㿐'DD D@@  @ `  @@@  @ " @%s.bar $1 @GNWemx!): FSbq}net2pla.cgcc2_compiled.st_insertnetwork_freenetwork_to_plasf_newstrlenlsFinishst_free_tablelsStartfind_ex_dcnode_literalst_ptrhashnetwork_dc_networkundefine_cube_sizeset_clearattach_dcnetwork_to_networkst_init_tabledefine_cube_sizecube_setuputil_strsavcubest_lookupnew_PLAnetwork_collapsediscard_plasetdown_cubenetwork_num_pinetwork_num_ponetwork_dupsprintfst_ptrcmpfreesf_freesf_addsetlsNext.umulnode_sf_adjustfree_PLAnode_freeMMalloc(8| " "    ,&D \ t + &  ( 0 @ H \ d |+        +  Xd t  +     8 < D!X \ d |  &   ( ,L T Xh l t   & <(`'    +  %#0*<$`('    0+ 8 < @ 4% T# * $  #  4) < D L d l x#   as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t  ( 0!) 4hnet_seq.o/ 958151423 5352 728 100644 22460 ` ELFV|4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿀'DD@'耢 ` `@`@@D@'쀢  쀢  ) 4D@ 䀢  D@     x'D'H'L'P'L 4D@ P 4D@` C`@`@@L / @ " L@'L 2` `  @   @'耢 P   '@܀ :LP@@H"@H"@H"`D 4'H@H@DH 8@ @  ` T @L@ xP@ rL@P  L@H"@uL@ ` ]`@`@@P@ ` ``@`@@@H"@HL"@HP"`D 4'HL@HP@DH 8@ @  ` h @` k`@`@@㿈'D'H'H`` y`@`@@H`4D ` |`@`@@D`8@'H   @H  `  @D@@  `  @㿀'D'HH@  `  @' 'D 4 @ ` `@`@@@ `  @D 4 @ ` `@`@@ @ `  @@㿐'D'H'L'PDH 4`4 ` `@`@@D 4`` `@`@@D`4D@L"@@P"@HP 4@@PHD@p'D'HDH 4`4 ` `@`@@D 4`` `@`@@D@ ` `@`@@H@ ` `@`@@D @' 4'@@@@'H / @ " H@'H 2` `  @   @'耢 N@'' @;"  ` Ԓ @ ` @ '䀢 @` `@`@@ܒ '@H / @ " H@'H 2` `  @   @'耢  H@D`4D@H`4H@㿐'DD ` `@`@@D < 㿐'D'HD ` `@`@@DH" <H DH @8'DD@  D@ `@`@ D <` }`@`@D`8@D`< @  @ @`@`@ L  @'D`@' @ @QD@ H   @`"  ` @ `   @ ` @ " `  `" ?" `@'D`@' @ @D@ ?@Ԕ @'@'@'@ @  ' '@'@ @  '`"@` @'D`@' @ @D@ @D`@' @ @D@ @@D`<@ @' @ @ @' @'@  @'Ā `@!@  @ @@ ''@  @' `@!@  @ @@ @'D`@' @ @sD@ j@'䀢 `@ / *`: 0  @'@' *`: 1  @'@'̒ '- *`: 0  @'@' *`: 1  @'@'Ē 'D`@' @ @D@ @'@'@ q *`: 01ؒ @ (`@!@ @`@`@`@6 *`: 1/ؒ @ (`@!@ @`@`@`@Ȓ 'o *`: 01ؒ @ (`@!@ @`@`@`@N6 *`: 1/ؒ @ (`@!@ @`@`@`@ '@@@@ `@@@@@@@ 㿈'D'H'LH 4'D @ 4'HL@   㿈'D'HH@   DH㿈'D'HH@   DH㿈'D'HDH   `? 㿈'D'HH@ H @'HH / @ " H@'H 2` `  @   @'耢 @ D@  @ 㿈'D'HDH@'DH@㿀'DD 'D 0`D 0`''D` @' @ @6 @* :` , @@@ @ 䀢  @ @ @@㿀'D'HHD@ NHD @'D  @ " D 2`   @ D @D * @ '䀢` H 'D@ D@'䀢 Hx'D`@'D`@' @ @D@ Fatal error: file %s, line %d %s net_seq.clatch_end: node not part of a networknetwork_create_latch: nodes must both belong to the given network%s:%u: failed assertion `%s' (lsNewEnd(network->latch, (lsGeneric) *l, (lsHandle *) 0)) == LS_OKnetwork_create_latch: input node is already part of a latchnetwork_create_latch: output node is already part of a latchnetwork_create_latch: latch cannot be added between those two node typesnetwork_delete_latch: attempt to delete latch with no inputnetwork_delete_latch: attempt to delete latch not in network(latch_t *) data == l(lsFinish(gen)) == LS_OK(lsDelBefore(gen, (lsGeneric *) &latch)) == LS_OKnetwork_delete_latch_gen: latch input not in the tableinput == latch_get_input(latch)network_delete_latch_gen: latch_output not in the tableoutput == latch_get_output(latch)network_disconnect: node1 and node2 do not belong to the same networknetwork_disconnect: node1 and node2 do not belong to a networknetwork_connect: node1 and node2 do not belong to the same networknetwork_connect: node1 and node2 do not belong to a networknetwork_connect: node1 not a PRIMARY OUTPUTnetwork_connect: node2 not a PRIMARY INPUTnetwork_connect: connection would result in combinational cyclesnetwork_stg: no networknetwork_set_stg: no networknetwork_stg_check: network failed network_check Checking to see that the STG covers the network... network_stg_check: number of latches does not match number of encoding bitsNetwork_stg_check: State %s is missing its encoding Network_stg_check: failed on output node (%s) (should have been 0) Present state: %s Input: %s (should have been 1) failed on latch output node One of the STG edges did not simulate correctly #`l-AGQWaiyLX `X'/:ENZez!h!LH*4; \N l@bt$0x t80?NWdyL)8QYepz  net_seq.cgcc2_compiled.snetwork_dfs_recurnetwork_is_real_pioabortst_insert__iobnode_typefprintfnetwork_set_stgnetwork_create_latchstg_save_namesstrlenbdd_andnode_patch_faning_get_e_slot_staticlsFinishst_free_tablentbdd_at_nodenetwork_is_real_pinetwork_is_real_polatch_freelsStartread_errornode_allocg_e_destst_init_genst_ptrhashnetwork_num_internalnetwork_replace_io_fake_namesnetwork_checknode_fanout_init_gennetwork_add_fake_primary_outputlatch_allocfflushnetwork_stg_checknode_fanout_genst_init_tableg_get_edgesorder_dfssiserrnetwork_is_controlnetwork_get_controlntbdd_node_to_bddnetwork_add_primary_inputsnetwork_tfi_post_lookuplsLengthnetwork_add_primary_outputnetwork_tfonetwork_stgnetwork_disconnectbdd_is_tautologyg_get_v_slot_staticntbdd_start_managernetwork_num_pinetwork_num_pobdd_freebdd_cofactornetwork_delete_latchlatch_from_nodelsDelBeforearray_resizest_gen_intnetwork_swap_namesst_ptrcmpnetwork_latch_endg_e_sourcearray_freenode_namenetwork_delete_node__eprintfarray_do_allocnode_get_faninnetwork_delete_latch_genbdd_onest_free_gennode_errorst_deletenetwork_connectlsNext.umulnode_functionntbdd_end_managersisoutnode_assign_namearray_global_indexnode_networklsNewEndg_get_g_slot_staticarray_abort Z( , 0 4 8 (< (D 8H 8L T X \%dp 1     ( ( ` `   %",PP'6$(@\[p t x (| (  J  E?E$ ( , 0 4 (8 (@ D H P T X%`lE     ( ( P P   %$(D[X \ ` (d (l p tJ     ( (     %      ( (  $ ( 0 4 8%@d h l p t (x (       %S    ( (  `$ `(J@ML` d h (l (t xx x|J@   ( (  JQ$ ( , 0 4 (8 (@ D H P T X%`   ( (  JQ     ( ( ( (    %  , 0 4 ( 8 ( @ ` D ` HJ \    (  (        %     (  (      (  ,  0% 8 L# \ |/     (  (         %  , 0 4 8 < ( @ ( H X L X P  X  \  `% h tU    (  (        %  U    (  (           %  0L L: \; l " P ' 4 PY XY \Y dY ] Y Y T G    (  (       %8Gh"P' I IH L P T X (\ (d @h @l t x |%     ( ( X X   %0T:x!+ +  x x + +    W W    W W      28\L8\p+ t+ x |  + +    KS-D]]ATDD HD L P T(hS-*G $B<OBO94SLd-.S-.,)<TSlF8+ +  8 8 + F 8+  P  P$ 0Xl8+ +  x x + F8+  P P N $S<T-lE<(8<<<4SLd-|=E7+ +    +  H+    $ ,+ 0+ 4 8 < D+ H+ L P X `+ d+ h l t 7+ +    + H+    + +     +  + $ ( 0 8+ <+ @ D L 7+ +    + H+    + +    + +     +  + $ ( 0 l7+ +    + H+    + +    + +    + +    (<<<PV\Gp (t (x<<VG ,1p   |  L " P!'!D !`,!x!3!C"H"`S"x"Q"X"1# 1#H#x1##P$x $E$D $D $ $ $($%S%(%@as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t%&X-X!38)8P 4Vhnetwork_util.o/ 958151426 5352 728 100644 23864 ` ELF[4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿐'D @D"``D `"@㿐'DD `` D``@D" `㿈 P@'"`@"``@"`@"` @"`@"`" " 0" (`: @"`," D`@"`4@"`8" <" H@㿐'DD D` D@@D"D`@D`@D` @  ` N @D` @  ` O @D` @  ` P @D`@D`0@D`, @  ` S @D@D`4@D`8@  ` W @D`<@D" <D@D`H@D D@'D㿈'DD  c@'D`D@@"@D ` @XD `@&D `@   @` @D@@D`@"`D`0@"`0D`(" (D` : D 8`84@D`<@"`<D`H@"`HD@㿐'DD`@㿐'DD`@㿐'DD` @D`@D`@@$ 㿀'D'H'D`@' @ @@ "@H  @ 㿀'D'H'D`@' @ @@ "@H  @ 㿐'D'HH" H" H ` H`@H" H" DH@㿈'D'H@' "  "  @"` H"@D@DH@㿀'D'HH `H " H`H@H `H@H@ <D 0'䀢 H @ @ DH @ @ H@D 0`DH @ @ H@DH @H@ `!`@`@@DH ` @ H@DH `H@ `!`@`@@H `D`H @  `! @H `D`H @  `! @D H@  `! @HD" 4H" 8H@㿈'D'HH 4D@`!.`@`@@H 8 @'H  `!2 @D@@  `!4 @㿈'D'HH@  `!A @D @'D  @ `!H`@`@@@ `!J @ 'D  @ `!N`@`@@ @ `!P @@" 4" 8@㿈'D'HD H@  㿈'D'HD@' @ @/H (@  `!r @@  `!s @  㿐'D'H'LH `D`H `!`@`@@ H `D`H `!`@`@@HL" H `D`H @  `! @H `D`H @  `! @㿐'DD`  D 㿐'D'HD` D@@D"H@D"@㿀'DD@' @ @?'  @ "  2`   @  @ * @ '䀢` * @ `0" '@㿈'D'HD@' @ @H`0 @  `! @㿀'D'H'LD@' @ @$@'" 0H@  `! @L" 4" 8x'D'H'LD@' @ @M@'`0' `0'"" `" ` " `" `"  ` `0@L@L@H @  `! @㿈'D'H'LH'D  @ `"`@`@@H@ `" @H` H@@H"HL"DH @H@ `" `@`@@㿈'D'H'LH 'D  @ `"`@`@@H @ `" @HL" DH `H@ `""`@`@@㿈'D'H'LH'D  @  `"/ @L'D  @  `"1 @H 'D  @  `"3 @L 'D  @  `"5 @H'HL@"L"H 'HL`" L" DH @H@  `"? @DL @L@  `"@ @DH `H@  `"A @DL `L@  `"B @㿐'DD , 㿈'D'HD ,H@㿐'DD 0 x'DD  D@'  z`@''D@܀@.D@''@؀@@'@@ @ؒ 'ܒ ''D@܀@.D@''@؀@@'@@ @ؒ 'ܒ '@'DD@'@'@'@'' @"  `  @ ` @ '@ @  `" @' `"@@  @'````" @' $`'`$`$ @*`@' { @'' @WĒ*`:  * @ Ĕ * ` 2@  'Ȁ >Ȁ @' `@'В @'@'@@'@' `@'В @'@'@@'Ē '@'@@' $@*`@' `"@@̒ ''@̀@M@'@  `" @' `@' @'@ ܒ @'@'@@'@@̒ '' @%"  `  @ ` @ '9̒ '@@`'D'HH  @HD@  @'ؒ @' @' $` $`'`$`$ @*`Ȑ@'̀  @'' @]В*`:  * Ȑ@ Д * ` 2@  'Ԁ DԀ "@'ؔH@'ؒ @'@'@@' @'ؔH@'ؒ @'@'@@'В '@'@@' $@*`Ȑ@'|%s:%u: failed assertion `%s' network_util.c(lsDestroy(net->pi, (void (*)()) 0)) == LS_OK(lsDestroy(net->po, (void (*)()) 0)) == LS_OK(lsDestroy(net->nodes, node_free)) == LS_OK(lsDestroy(net->bdd_list, (void (*)()) 0)) == LS_OK(lsDestroy(net->latch, free)) == LS_OKFatal error: file %s, line %d %s attempt to add node with same name as some existing nodeattempt to add node with same short_name as some existing node(lsNewEnd(network->pi, (lsGeneric) node, (lsHandle *) 0)) == LS_OK(lsNewEnd(network->po, (lsGeneric) node, (lsHandle *) 0)) == LS_OK(lsNewEnd(network->nodes, (lsGeneric) node, &handle)) == LS_OKnetwork_delete_node: attempt to delete node not in network(node_t *) data == node(lsFinish(gen)) == LS_OK(lsDelBefore(gen, (lsGeneric *) &node)) == LS_OKnetwork_delete_node_gen: node name not in name tablekey == node->namenetwork_delete_node_gen: node short name not in name tablekey == node->short_name(lsDelBefore(gen, (lsGeneric *) &data)) == LS_OKnetwork_change_node_type: PI node not in PI listnetwork_change_node_type: PO node not in PO listunknown(lsNewEnd(newlist, (lsGeneric) node->copy, (lsHandle *) 0)) == LS_OK(lsNewEnd(newlist, (lsGeneric) newnode, &handle)) == LS_OK(lsNewEnd(newlist, (lsGeneric) l, (lsHandle *) 0)) == LS_OKnetwork_change_name: node not found in name tablenetwork_change_name: node with same name already existschange_short_name: node not found in name tablechange_short_name: node with same name already existsst_delete(network->name_table, &key, NIL(char *))st_delete(network->short_name_table, &key, NIL(char *))! st_insert(network->name_table, node1->name, (char *) node1)! st_insert(network->name_table, node2->name, (char *) node2)! st_insert(network->short_name_table, node1->short_name, (char *) node1)! st_insert(network->short_name_table, node2->short_name, (char *) node2)st_lookup(node_exdc_table, (char *) dcnode, &dummy)st_lookup(node_exdc_table, (char *) po, &dummy)0,0D8GTQ\b Hkq{x|'4 *7BM<\bt$8! x L)5 Map{d$p \+tD,Sg,v}`PH<(4 #6  JR\\myt0< (19network_util.cgcc2_compiled.cpexdc_alloccpexdc_freeduplicate_listcopy_listdelete_from_listreset_ioabortst_insert__iobnetwork_freelsCreatefprintfnode_dupnetwork_change_node_namenode_patch_faninnode_constantlsFinishst_free_tablelsStartfind_ex_dcnode_allocnetwork_rehash_namesnode_literallsNewBeginst_ptrhashnetwork_num_internallatch_set_controlnetwork_dc_networkattach_dcnetwork_to_networknode_assign_short_namelatch_allocfflushor_net_dcnetst_init_tablecopy_latch_infodelay_network_freenetwork_get_pinetwork_get_poutil_strsavnetwork_delete_node_genfanin_remove_fanoutnetwork_add_primary_inputfanin_add_fanoutnode_andst_lookuplsGenHandlelsLengthnetwork_bdd_listnetwork_clock_allocnetwork_add_primary_outputst_strhashastg_freemap_network_dupnetwork_find_nodenetwork_change_node_typenetwork_num_pinode_is_madeup_namenetwork_num_postrcmplsDelBeforenetwork_namenetwork_clock_dupnetwork_change_node_short_namenetwork_swap_namesnetwork_dupst_ptrcmpnetwork_add_nodedelay_network_dupfreearray_freenetwork_clock_freenetwork_delete_nodenode_orlsDestroynetwork_set_namenetwork_dfsnetwork_alloc__eprintfnode_get_faninnetwork_add_bddstg_dupnode_errorst_deletelsNext.umulnode_functionastg_dupnode_freenode_assign_namearray_global_indexstg_freelsNewEndMMallocarray_abort aTI|a? ? 7 7 &? ? 7 7 &  (@F DF H L P&`5IN0 4 8 (< (D 8H 8LRhN|   ( ( h hR\ \ N   ( (  R$N8 < @ (D (L P TRh(xI I N   ( (  R_K8IXQ+H9$E<E'U[B3 3L3`3t3Xd|X8I`G|aGD D] d" x= 1 1 ] D1 d]  ( ( ( ( P P    $  1 " <  P T X ( \ ( ` ( d ( l  p  t |   $  `   ( (   R ` 0  4  8 ( < ( D  H  LR l`   ( ( ` ` R /  (  ( (  (      (  ,  0$ 8  P2 p  t  x ( | (   R ,    ( (   R @ $ ( (, (4 8 <RX;|W   ( ( ( ( P P  $    ( (  R4WH L P (T (X (\ (d h lt x |$    ( (  R-\1lX@   ( (  R  $ ( (, (4 8 <R   ( ( ( ( 0 0  $ 8 < @ (D (H (L (T hX h\d h l$t `   ( (  R`, 0 4 (8 (@ D HR|  I+0XHV</d|X`   ( (  R0XH\`   ( (  RX,<#   `4 8 < (@ (H 0L 0PRW   ( ( ( ( p p  $    ( (( , 0R\I    ( ( ( (    $  W4 8 < (@ (D (H (P T X` d h$p    ( (  R    ( ( ( (    $$, hW|   ( ( H HRW   ( ( H HR W4 8 < (@ (H L PR|W   ( (  R 4 8 < (@ (H L PRt    ( (  R    ( ( 8 8R 0 4 8 (< (D H LR 8F <F @ D H&\>*>*?  8< `) t< ) ? !,E!<!!L !\P!^ !^ !^ !^ !b!^ !^ !Y"Z"(1"< "@ "D ("H ("P "T "XR"Z"S"# Y#H#S$$0$(\$4\$TS$x$0$\$\$M$\$\%@G%h>%*%1% % % (% (% % %R&S&Z&4&HM&X\&pM&G&&^ &^ &^ &^ ' b' ^ '(^ '0Y'l'xJ''1'(S($(Y()TS)l1))0)\)\)S)1**0*(\*4\*`M*p\*|\as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t*+@@30 !9E)> 4[hpla2net.o/ 958151428 5352 728 100644 8640 ` ELF 4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentp'D  @ ` ` @  @''  @  *  @'   @  ID*` `@ D*`  @@ @' @'D*` `@"@  * "`"@'D` *` @'D` D` Ԓ*`  @@@'@  *ܔ "`" $ $ $ @@*`` %Ԓ*` @Ԥ?J* :`*`*`  2 `  3* :`*`*`: **  * :` @ " * `:  * @*`:` *`*  + :` @ " @D@*`e' H`  *   @ @ `  *   @ ?ئ@В*`  @@@'@D*` @@ (D*`  @@ @'܀ @'  @'D*` @@"@@@ $ $ $ @@*`` %В*` @D` D` /<*`  *   @ * `:  * @*`:` *`*  + :` @ " D@*` @ؒ '% @'܀ @'x'D  @ ` ` @  @''  @  *  @'   @  ID*` `@ D*`  @@䀢 @' N@'D*` `@"@  * "`"@' H`  *   @ @  `  *   @ ?@D*` @@ D*`  @@䀢 @' ܒ*`  @@@'D*` @@"@@@D`D@D@ @*`@@ = *`  *   @ ܒ*`  ܒ*`:  *`  @ܔ *@ܔ *@ܦ?J* :`*`*`  2 `  3* :`*`*`: **  * :` @ " * `:  * @*`:` *`*  + :` @ " `$@"`$@ D@*`@k@ '䀢 @'㿈'D@D   @   @x'D  @ ` ` @  ID `  @@''  @  *  @'   @  !@'D*` `@"@  * "`"@' H`  *   @ @ `  *   @ ?@ܒ*`  @@@'D*` @@"@@@D `D`D` @*`@@ = *`  *   @ ܒ*`  ܒ*`:  *`  @ܔ *@ܔ *@ܦ?J* :`*`*`  2 `  3* :`*`*`: **  * :` @ " * `:  * @*`:` *`*  + :` @ " `$@"`$@ D @*`@k@ ' 䀢 @'Error reading pla: node %s is already in the network.  #0<DKVcv``h"Tp:CQbgupla2net.cgcc2_compiled.node_sccnetwork_freenodevec_dupfprintfsf_newnode_allocnode_literalundefine_cube_sizeset_clearpla_to_networksiserrnode_createutil_strsavcubenetwork_add_primary_inputpla_to_network_singlenetwork_add_primary_outputnetwork_find_nodeespresso_read_plapla_to_dcnetwork_singleread_plamakeup_labelsnetwork_add_nodefreenetwork_allocsf_addsetset_fill.umulMMalloc   ( L\ d |!       4T x!< Pdx P        ( <Pd    < `x  4h p     !  0 D \ ` d l x     8 < D \           , H |         !  8X 4\ d t |   !   , P        $ T h| ! 0has: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t87p !)( 4 hsweep.o/ 958151430 5352 728 100644 9060 ` ELF"$4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment`'D'H'D'D ' @'@'D '@'؀  Ȁ Ȁ ؀ Ȁ Ȁ v@*` @'' / @ " @' 2` `  @  Ē @'   *Ԕ "`"@'̐ "̒*`Ԓ @@Ԁ @' 'D@@@аH @ z 'А @'@@*` @'' / @ " @' 2` `  @  Ē @'   *Ԕ "`"@'̐ "̒*`Ԓ @@Ԁ @'D@@@аx'D'D `(D @'@  @D@  ` V @ 'Z''D  @ " D 2`   @ D @D * @ '`'@'܀ ܀  ܀ ܀  D@ ' ' '耢 㿈'DD @'D 0` 耢 D`0@D" 0㿐'DD  @'D'H'L'' ' 'D@'' @,"  ` ܒ @ ` @ '@  ' ' '@H D@'D`8@ @'D`8@'pp @ p@J  Ȓ @`"  `Ȓ @ `   @ ` @ " `  `" Ȓ?" ' @/"  ` Ȓ @ ` @ '@  '̐ ' ' '@@D 0`D`0@ ' 'H  `@'`@'D`8@'pp @ p@@ @' @@' @ @8@ @' / @ " @'p 2` `  @  p @' R@'Ā H  Ȓ @`"  `Ȓ @ `   @ ` @ " `  `" Ȓ?" ' @"  ` Ȓ @ ` @ 'Ā  ' @y"  ` Ȓ @ ` @ ' S@ L@  Ȓ @"  `Ȓ @ `   @ ` @ " `  `" Ȓ?"  ' 'Q@@'Ĕ@ @~ ''@*` @'' / @ " @'p 2` `  @  p @'   * "`"@' "*` @@ ' '̐ 'D@D@D@ @'y@@L L"DH@  '̀ L "%s:%u: failed assertion `%s' sweep.cnode_patch_fanin(node, fanin, node_get_fanin(fanin, 0)) d0'1>O]r0t#-6 IWl|&,@Nanvsweep.cgcc2_compiled.network_csweepst_insertnetwork_freenode_patch_faninnode_constantnetwork_cleanup_utilnetwork_sweep_nodelsFinishst_free_tablelsStartst_init_genst_ptrhashnode_fanout_init_genst_gennode_fanout_genst_init_tablenetwork_sweepnode_num_fanoutsnetwork_tfi_post_lookuplsLengthnetwork_sweep_utilnode_collapsenetwork_delete_latchlatch_from_nodearray_resizest_ptrcmpnetwork_add_nodelatch_equalfreearray_freenetwork_delete_nodenetwork_dfs__eprintfarray_do_allocnode_get_faninst_free_gennode_errorlsNext.umulnetwork_sweep_latchnode_functionarray_global_indexnode_networkMMallocarray_abort0(@.\01H*l(L"p$$  14`*@d"$$(.((< @ D H P (T (X&*(.<x%/  / / / 42H/ P/ X,t #'  + 4  d2 2  , / / / / 2 / / , - D# P  |            + (  D( \ t  )  '  * @ p 2 2$H,/ / / / 2/  / (,/ / / / 2/ / ,!8`22,|#)10\*<l|$$"   as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t\`00!`) 4!hnet_verify.o/ 958151432 5352 728 100644 5476 ` ELF$4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentx'D'H'L'PL  L  @D@'H@'쀢 耢  DHL@'E쀢 8耢 4L@'܀ !@ @`@ CD@'H@'L@'@@ `@ $܀ P `@!@ @`@ h'D'H'LD@'H@'`@'ВД @ @* @' `ܒ @'@@  ` [ @`@'ВД @ @* @' `ؒ @'@@  ` c @ '`@'ВД @ @&@@'   `@@А @'`@'ВД @ @&@@'䀢   `@@А @'̀  -L  @'L    @' `@  @@̰x'D'HD@H@D`@'ܒܔ @ @BH@@'耢   ` `  @ @' @'@ @@ؐ @  %sExternal don't care networks are not equal. Networks compared equal. Networks are not equivalent. %s:%u: failed assertion `%s' net_verify.cnode_patch_fanin(po1, node1, new_node)node_patch_fanin(po2, node2, new_node)output '%s' only in network '%s' Error: unknown verification method (po2 != NIL(node_t)) && (po2->type == PRIMARY_OUTPUT)Networks differ on (at least) primary output %s *2GRclyD 0D?ISbu|net_verify.cgcc2_compiled.network_freefprintfntbdd_verify_networkerror_initnode_patch_faninlsFinisherror_stringlsStartnode_literalnetwork_dc_networkor_net_dcnetsiserrnode_equal_by_namenet_verify_with_dcnetwork_collapsenetwork_find_nodenetwork_namenetwork_dupsprintfnetwork_add_nodenetwork_verifynode_name__eprintfnode_get_faninverify_by_collapselsNextsisouterror_append@L\          $<Ldt       8 8          X$ X(Xh|    ( x, x0 4 < @ Dh     x x   ( , 0X p    4 Ld    8l       0 L x x   H H   $ as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= tT |! ) 4hcom_network.o/ 958151434 5352 728 100644 7212 ` ELF4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿈'D'H'LD@HL@'@'D@@D" 㿀'D'H'LH D@@yD@HL@' `!"  `  @ ` @ '@K `="  `  @ ` @ ' "  `  @ ` @ '@ `@ @ 㿐'D'H'LH  `@  D@@ 㿈'D'H'LH  `@ D@@'쀢   D@@D" 㿀'D'H'L'@HL@'쀢?쀢 v 'EH @;@ D@@  D@@  '䀢 耢 `@  `@!@ @  `@ x'D'H'L'D`8@  `@  @'HL@'쀢?=쀢 m v.0`@ '`@  '`@  ' 'H @#D'D`'؀  `@ @'H "@ .D'@'ؐ *L@ @ؒ@  t@'@fNH "@ E@'ܐH *L@ @ܒ@  E@'ؐH *L@ @ؒ@  -@'@@`@`@`@ 㿐` @` @` @` @` @` @㿐usage: clp [n1] [n2] usage: sweep usage: espresso vcheck: network passes consistency check check: problem detected with network %susage: _check [-v] Use the verify_fsm command to verify sequential circuits. m:vclpbddparerror -- no original network read_blif %susage: verify [-m] [[net1.blif] [net2.blif]] -m clp Verifying by collapsing (default) -m bdd Verifying using bdd _check_ripupcollapseespressosweepverify`|h$3l=GTl(anv  2EN_m ycom_network.ccom_verifycom_sweepgcc2_compiled.com_ripupcom_checkcom_espressocom_collapsenetwork_freefprintfcom_add_commanderror_initinit_networkutil_getopterror_stringcom_executenetwork_checknetwork_collapse_singleutil_optindnetwork_sweepsiserrnetwork_from_nodevecnetwork_is_acyclicnet_verify_with_dclsLengthnetwork_collapsenode_collapseend_networkstrcmputil_getopt_resetsprintfcom_get_nodesarray_freenetwork_alloc.umulnetwork_espressosisoututil_optargarray_global_indexarray_abort "0D ") ) ) ) *) ) $%@d) h) l) t) *) ) %) ) ) ) *) )  %@P T X \ ` x#        $ (( (, H&   @ @0 8 Pd' '  H H    x x      4 8 < @ D         (  ( $ ( ,L( P( T X \( (     ( , 0  4  8 \  $   @ @!, L T h$ @ @!$ @ @!  8 H  T     P  P                                      l $ l ,  4  8  <  @  H  P  T  X  \  d  l  p  t ` x ` as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t   ( ! ) 4hesp.o/ 958151436 5352 728 100644 3000 ` ELF x4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿈'DD@'耢  n ``@ ``@ @"` `@"`@@ @"``@"@@'D@@D@D`0@"`0D`884@D`<@"`<D`H@"`HD@@x'D'H'L'PH@' @ @]@'@@D@'`@D@'"" `" ` " `" `"  ``@D@@P@P@L @  ` O @%s:%u: failed assertion `%s' esp.c(lsNewEnd(newlist, (lsGeneric) l2, (lsHandle *) 0)) == LS_OK&0?FOWiu$3;BS\gesp.cgcc2_compiled.save_latch_infost_insertnetwork_to_plasf_newlsFinishlsStartlatch_set_controllatch_allocpla_to_networkcubecube1listcube2listdiscard_planetwork_find_nodenetwork_namenetwork_clock_dupnetwork_dupdelay_network_dupsf_freenetwork_set_nameespresso__eprintfnode_long_namestg_duplsNextnetwork_espressoastg_dupcomplementlsNewEnd P|     $4DT 4 D Xh| , @Th!|     ( (as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t8e !p)0 4 hnetmake.o/ 958151437 5352 728 100644 3692 ` ELF T4(.shstrtab.text.symtab.strtab.rela.text.commenth'D@'`@''D @*" D ` D @DD ` @ '@@ ''D @" D ` D @DD ` @ '@*` @''  @ "  2`   @  @ * @ '؀`>@  *`Ԑ "(@ *Ԓ@ "@@@ *Ԓ@ @"*`Ԓ @@*`Ԕ @ '@' ``$@ @ Ԁ @'@ 'D` @'ȒȔ @ @@  @ @@̰㿈'D  @'   @`"  ` @ `   @ ` @ D" `  `" ?" @'@ h3=F\es{$.?DO]lw~netmake.cgcc2_compiled.network_create_from_nodest_insertnode_dupnode_replace_internallsFinishst_free_tablelsStartnode_allocst_ptrhashst_init_tablenetwork_from_nodevecutil_strsavnode_num_fanoutnetwork_add_primary_inputst_lookupnetwork_add_primary_outputsf_savearray_resizest_ptrcmpnetwork_add_nodefreearray_freenetwork_allocarray_do_allocnode_errorlsNext.umulnode_functionarray_global_indexnode_num_faninMMallocarray_abort   $ T \ ` h #  $ ( 0 L#` h p!"` (P 0D\x #$#`as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)45 l@! d , h