! / 958151623 0 0 0 124 ` <]]]]init_simend_simsim_verify_codegensimulate_networksimulate_nodesim_verifysimulate_stgcom_sim.o/ 958151621 5352 728 100644 15296 ` ELF:4(.shstrtab.text.rodata.symtab.strtab.rela.text.comment㿀'D'H'LD@D@'H`@' @ @-H@ !" L ` L @LL ` @ D@ 'D@D@'H`@' @ @@'耢  D @ 'D@@'D'H'L ' '@HL@'䀢?䀢 i s''܀    ' ' 4D@@ -H "@D@@D`8@$@ !D@@D`8@$@H?  @vD@@ @' 'D`@' @ @4@' j 'Ā Ā `@`@@@ 8  ؒ @`"  `ؒ @ `   @ ` @ " `  `" ؒ?" *`L @@ I  ؒ @`"  `ؒ @ `   @ ` @ " `  `" ؒ?" k*`L @@ J  ؒ @`"  `ؒ @ `   @ ` @  " `  `" ؒ?"  *L@  @@@* 'D@@'D@@''`@'D`@' @ @'"  ` Ԓ @ ` @ '@ ''D`@' @ @B@' 5"  ` Ԓ @ ` @ ' ' " @ "  '@@D @@@܀ kD@@' bH "@ @! @H?  @K @ @' ' @` 쀢@*`L @@ I  ؒ @`"  `ؒ @ `   @ ` @ " `  `" ؒ?" h*`L @@ J  ؒ @`"  `ؒ @ `   @ ` @  " `  `" ؒ?"  *L@  @@x '6@'`@ `@@@ ]`@' @쀢@)!"  ` ̒ @ ` @@ *`:  @ '! @ @ @@@  `@ `'D'H'L ' 'D@@  D@@  Z@HL@'Ѐ?Ѐ i s''1쀢  耢  ' '耢  D@@  ''H @*D`8@'ܒܔ @ @`" D@@'̀ @ H "@  `@`*`L '耢 D`8@ |@D`8@!D`8@@ @'@Ȁ@"Ȑ *`: 0Ȑ *`: 1 `@}Ȓ ''D`8@'ܒܔ @ @ @*:'В`"Ѐ 0"  Ѐ 1ؒ " '쀢 AD@@'̀ 8Ԁ @'Ā @ `@@'Ā @ `@  `@ 㿀'D'H'LH ``@D@@ +`@D`8@' @ @   @`@D@@'䀢 `@ @'! @ @ @  `@ x'D'H'L$'@HL@'쀢?,쀢 n"`@'耢 | ``  : *"@ " 'eH "@ Z *L@ @@'@ @ G@D@@`@@ 0@D@@`@@ D@@'@ܰ `@ 㿐` @` @` @` @㿐 Network simulation: Outputs: %d Next state: %dissimulate network: network has %d inputs; %d values were supplied. Some latch has the value 'don't care' or 'undefined'. Use set_state to put the network in a valid state. 01simulate network: bad value '%s' -- should be 0 or 1 simulate stg: stg has %d inputs; %d values were supplied. simulate stg: bad value '%s' -- should be 0 or 1 STG simulation: Next state cannot be determined %c Next state: %s (%s) usage: simulate [-s] [-i] in1 in2 in3 ... set_state: one state must be given set_state: network had %d latches; %d values were supplied. set_state: bad value '%c' -- should be 0 or 1 set_state: state with encoding name %s not found in stg set_state: state with symbolic name %s not found in stg usage: set_state [-s] [-i] [state_name] Network state: STG state: %s (%s) usage: print_state n:read_blif %sNumber of inputs do not agree Number of outputs do not agree usage: sim_verify [-n n_patterns] network2.blif simulateset_stateprint_statesim_verify '5LDTakx!/|8?JS_s(-<RY_lt t{com_sim.cdump_outputsgcc2_compiled.com_set_statecom_sim_verifycom_print_statecom_simulatest_insertnetwork_freefprintfcom_add_commandstrlenstg_resetutil_getoptsimulate_networklsFinishst_free_tablenetwork_is_real_polsStartcom_executest_ptrhashutil_optindst_init_tablest_lookup_intinit_simsiserrsim_verifylsLengthnetwork_stgg_get_v_slot_staticnetwork_num_pinetwork_num_postg_get_state_by_encodingstrcmplatch_from_nodestg_set_currentarray_resizeutil_getopt_resetsprintfst_ptrcmparray_freenetwork_dfsnetwork_allocatoiarray_do_allocstg_get_state_by_namelsNext.umulsimulate_stgend_simsisoututil_optargarray_global_indexg_get_g_slot_staticarray_abort   ( , 0 D\1t7 7 7 7 97 7 2 (  ( 4 08 0< H 8L 8P d|1% H H  0 0 8(H PL PP! $ 4!Ld p!  X X !/   1$8%          +909l'2   $H99'2\ ` d$99'42       + ,  0* 4* 8 < @ X p1  7 7 7 7 9 7 7 2   < T1 l % 7 7 7 7 9 7 7 2 D  + 5 5 + +    8 ( 48 H L X P X T  l8 |/   8       $ 9 X9 ' 20 4 8$l99'2l     +35 5    5 5      +,+@5 D5 H L P d85 7 7 7 7 97 7 25     5 , @ L5 P T \ h+t+   0 0 !(( P, P0!  4L1d     ` `   @Xp     D H L P X 1T#&     0&$ ( , 80 88 T X \ x` xd 5 5  0 0 !5 5    10@5 H5 L HP HX h5 l5 p t x 5 5    85   5      $ ( , 0 d(t x |6 6 .H P p t   )- !!      $ <"P"d h l 0p 0t      P P          $ , 4 8 < @ H P T X L\ Ld as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= t! !%\)( 4:hcodegen.o/ 958151622 5352 728 100644 8396 ` ELF4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentP'D'H'L'PD@H@ `@ D@H@ `@ D@*` @''D`@' @ @E'H`@' @ @@@  *`Ȑ " 'H@@!@ @  'D@*` @''D`@' @ @E'H`@' @ @@@  *`Đ " 'H@@!@ @ I ' P@   @'쀢  -D@'H@'D@ؐ Ԑ  'H@ؐ Ԑ  '@@@@D@H@@D`@' @ @ @@@'؀ *`Ȕ @ '@@'Ԁ *`Ĕ @ '@`  @'耢  s@ "@ @ "@'܀?@ "@ `*@`"@@ PP@ @L ``:``P@ @Ȁ @'Ā @' `'D'H'L@'H`@' @ @@H`@' @ @@H` @' @ @  `@DL@H@'' @1"  ` Ē @ ` @ ' `@D@@  D@@  D@ '@?'耢  $`!耢  $`  $ $@@*`   @ @'܀ D@ ''  @ "  2`   @  @ * @ 'Ȁ`VԀ *`:  * Ԑ@  * ` 2  @'Ѐ  . D@@D@' D@@D@' ''?'DD@ `̒ @'@@D@ '@@D@Number of inputs do not agree Number of outputs do not agree No match for input '%s' in network2 No match for output '%s' in network2 %s.cw#define nin %d #define nout %d #define nodes1 %d #define nodes2 %d func1func2char *output_names[%d] = { "%s", }; int input_map[%d] = { %d, int output_map[%d] = { driver.crcc -o %s %s.c%s %dvoid %s(a) register unsigned *a; { a[%d] = 0(unsigned) -1|&a[%d]~a[%d]; a[%d] = a[%d]; }  '7?HV^s"+29?MVdwcodegen.cgcc2_compiled.sim_gen_codenodeindex_allocfprintflsFinishcom_open_filelsStartnetwork_num_internalnodeindex_freenodeindex_indexofsiserrsim_verify_codegennetwork_num_pinetwork_num_postrcmpfclosesprintffreearray_freenode_namenetwork_dfsnode_get_faninnode_error__filbufsystemlsNext.umulnode_function__flsbufnode_num_cubearray_global_indexnodeindex_insertMMallocarray_abort(< @ D H Ldt    $  ( @Xx   @ @,@$X p D\ dp t hx h|     $ H l p x             0H` (d (l 8 8 @ @ X X  8 8  h$ h,l Xp Xx 8 8        , 0 8Hd   # <  T l #    #      ( X" `" d" l" % " "             $ 8 P  T  X t!   0 T  X  \  l              $ 4 8 <       ( ($ 0 @4 @8as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= tHC`!d) $ 4$hinterpret.o/ 958151623 5352 728 100644 12136 ` ELF.(4(.shstrtab.text.rodata.symtab.strtab.rela.text.commentx'DD@''D  @ " D 2`   @ D @D * @ '䀢`$ <'@'@'@@'@  '@ D" <D " <@p'D'H'LLD@ @` B`@`@@'D`@'ԒԔ @ @%" L ` L @LL ` @ '" < ''H @*" H ` H @HH ` @ ' `@ '  @'D`@'ԒԔ @ @Pܒ @ <'  ؒ @`"  `ؒ @ `   @ ` @ " `  `" ؒ?" ذ㿈'D'HD /*`: 'D`!* :` -H *`: -H*`: * :@  H 'H h'D'H'LH  @''H @I" H ` H @HH ` @ '܀  ̐  0*܀  ̐  1*` `@`@@̒ 'H @ *D @'L"D @ @'@ @' @ @y @'A k @'@L"@LD@@'D @̀@Q  Ȓ @`"  `Ȓ @ `   @ ` @  @*`" `  `" Ȓ?" ̒ '~L`D@'쀢 D@'耢 쀢`'@ @' @ @y @' k @'@L"@LD@@'D @̀@Q  Ȓ @`"  `Ȓ @ `   @ ` @  @*`" `  `" Ȓ?" ̒ '~Ѐ @'Ȱh'D'H'LD@'D@'*` @'ؐ @'Ԑ @'L: 'LD" А H"'耢 ܒ*` @ *Ԓ@ "@ ''L DH ؐ '@v'耢 *`А  *Ԕ@ @ ''܀ ] *@  Ԓ@  *@ @ E@؀ @''쀢  *`Ԑ `*`Ԓ @@*`Ԑ " 'Ԁ @' Q ' 'l؀ @''쀢  *`Ԑ `*`Ԓ @@*`Ԑ " 'Ԁ @'L*` @ x'D'H'L'PL@@' L @@'HP *@  H@ P *@ @ '耢  `  @' ` : ' ' * '`@D@6`@`@H@@$`@`@ H @@`@`@㿈'D'H'L'D  *H@ @L ` @  @ '㿈'D'H'LL@'D @@ *H@ , ?# "@ 'x'D'H'L`@''D`@' @ @*`H @ ''D`@' @ @ @'D@ *L@ "@ 'x'D'H'LL@'HL@ L ` `!P @ @''쀢 *` @ *ܒ@ "@ '' 7L@'DH ܒ@  *@ "@ ܐ  *@  ܒ@  *@ @:" ܐ  *@ ?" 'L@='HL@'쀢  *`ܐ `*`ܒ @@*`ܐ " '܀ @'x'D'HD@''ܠ 䀤?'D $` D $` D $D $@@*`  @ @' D  @ " D 2`   @ D @ D*`  '쀢`*耢 * :`*` *`  2  @'ؒ*`H *`  @'` 'ܠ |ܰFatal error: file %s, line %d %s interpret.cnetwork_simulate: too few input values suppliedsimulate_stg: bad value in simulation ANY*Passed verification with %d random input vectors %s:%u: failed assertion `%s' diffverification failed on input value: internal network outputs: read-in network outputs: Note that the inputs and outputs are matched up by order, not by name %d node->type != PRIMARY_INPUT %4TEPPc\wx .5CI tT^m|,3=K^rinterpret.csimulate_network_32_recgcc2_compiled.simulate_node_32equivtransgen_random_patternsimulate_network_32print_patternreport_errorabortst_insert__iobfprintfnode_dupg_get_e_slot_staticsimulate_networklsFinishlsStartg_e_destnode_literalst_ptrhashg_get_out_edgessimulate_nodefflushst_init_tablesrandsim_verifyst_lookupnetwork_num_pinetwork_num_postg_set_currentarray_resizest_ptrcmprandfree__eprintfarray_do_allocnode_get_faninstg_get_state_by_namenode_errorlsNext.umulsimulate_stgnode_functionnode_cofactorsisoutnode_freenode_num_cubearray_global_indexg_get_g_slot_staticnode_num_faninMMallocarray_abort P*/11.L.1     ( ( 8 8   (+@P3 X3 \3 d3 73 3 ,3  3 3 3 47H3 P3 X,'+(87t7",<6l3 t3 x3 3 73 3 ,0 4 8 < @ (D (L hP hT\ ` dl 44'+ 8hx!47 $7 `" , $ ( ,) L P T)   +    0 L! `4 7 7 " <, %  (  D6 T6 d6 6T%%%p%%0%D0 P0 T X \    ( (( , 0&0 0   0 0  ( (0 0  0 00 0  ( (0  0 $ P( P,T0 X0 \ (` (dl0 p0 t px p|0 0   0X$d$# #   +L t+($5<t x | ( (  &66<(( %%2,****as: WorkShop Compilers 5.0 Alpha 03/27/98 Build GCC: (GNU) egcs-2.91.66 19990314 (egcs-1.1.2 release)4= tX !!,)#  4-h