Sorry to bother you again, but are you aware of any problems with misII? I have been trying to create a 3-bit adder as an example standard cell design, using the following commands and inputs: ================================================================ # 3-bit by 3-bit binary adder .i 6 .o 4 .ilb a2 a1 a0 b2 b1 b0 .ob s3 s2 s1 s0 .type fdr 000000|0000 000001|0001 000010|0010 000011|0011 000100|0100 000101|0101 000110|0110 000111|0111 001000|0001 001001|0010 001010|0011 001011|0100 001100|0101 001101|0110 001110|0111 001111|1000 010000|0010 010001|0011 010010|0100 010011|0101 010100|0110 010101|0111 010110|1000 010111|1001 011000|0011 011001|0100 011010|0101 011011|0110 011100|0111 011101|1000 011110|1001 011111|1010 100000|0100 100001|0101 100010|0110 100011|0111 100100|1000 100101|1001 100110|1010 100111|1011 101000|0101 101001|0110 101010|0111 101011|1000 101100|1001 101101|1010 101110|1011 101111|1100 110000|0110 110001|0111 110010|1000 110011|1001 110100|1010 110101|1011 110110|1100 110111|1101 111000|0111 111001|1000 111010|1001 111011|1010 111100|1011 111101|1100 111110|1101 111111|1110 ---------------------------------------------------------------- #!/bin/sh echo "running espresso" espresso add.logic > add.pla echo "running misII" misII -f script.msu -t pla -T oct -o add:logic add.pla echo "running padplace" padplace -l add:logic > add.padlist padplace -D add.padlist add:logic echo "running octflatten" octflatten -t LEAF -o add:flat add:logic echo "running wolfe" wolfe -f -o add:placed add:flat ================================================================ Unfortunately, when I run musa on the final design, I do not get what I expect: ================================================================ Source Flags: F Depth 1 MUSA(1)> makevector a a2:0 MUSA(1)> makevector b b2:0 MUSA(1)> makevector out s3:0 MUSA(1)> macro checkcase > set a $1 > set b $2 > evaluate > verify out $3 > $end MUSA(1)> checkcase 000 000 0000 MUSA(1)> checkcase 000 001 0001 MUSA(1)> checkcase 000 010 0010 musa: Warning: Verify failed: out has value 0010 not 1010. MUSA(1)> checkcase 000 011 0011 musa: Warning: Verify failed: out has value 0011 not 1011. MUSA(1)> checkcase 000 100 0100 MUSA(1)> checkcase 000 101 0101 MUSA(1)> checkcase 000 110 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 000 111 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 001 000 0001 MUSA(1)> checkcase 001 001 0010 musa: Warning: Verify failed: out has value 0010 not 1010. MUSA(1)> checkcase 001 010 0011 musa: Warning: Verify failed: out has value 0011 not 1011. MUSA(1)> checkcase 001 011 0100 MUSA(1)> checkcase 001 100 0101 MUSA(1)> checkcase 001 101 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 001 110 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 001 111 1000 MUSA(1)> checkcase 010 000 0010 musa: Warning: Verify failed: out has value 0010 not 1010. MUSA(1)> checkcase 010 001 0011 musa: Warning: Verify failed: out has value 0011 not 1011. MUSA(1)> checkcase 010 010 0100 MUSA(1)> checkcase 010 011 0101 MUSA(1)> checkcase 010 100 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 010 101 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 010 110 1000 MUSA(1)> checkcase 010 111 1001 MUSA(1)> checkcase 011 000 0011 musa: Warning: Verify failed: out has value 0011 not 1011. MUSA(1)> checkcase 011 001 0100 MUSA(1)> checkcase 011 010 0101 MUSA(1)> checkcase 011 011 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 011 100 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 011 101 1000 MUSA(1)> checkcase 011 110 1001 MUSA(1)> checkcase 011 111 1010 musa: Warning: Verify failed: out has value 1010 not 0010. MUSA(1)> checkcase 100 000 0100 MUSA(1)> checkcase 100 001 0101 MUSA(1)> checkcase 100 010 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 100 011 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 100 100 1000 MUSA(1)> checkcase 100 101 1001 MUSA(1)> checkcase 100 110 1010 musa: Warning: Verify failed: out has value 1010 not 0010. MUSA(1)> checkcase 100 111 1011 musa: Warning: Verify failed: out has value 1011 not 0011. MUSA(1)> checkcase 101 000 0101 MUSA(1)> checkcase 101 001 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 101 010 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 101 011 1000 MUSA(1)> checkcase 101 100 1001 MUSA(1)> checkcase 101 101 1010 musa: Warning: Verify failed: out has value 1010 not 0010. MUSA(1)> checkcase 101 110 1011 musa: Warning: Verify failed: out has value 1011 not 0011. MUSA(1)> checkcase 101 111 1100 MUSA(1)> checkcase 110 000 0110 musa: Warning: Verify failed: out has value 0110 not 1110. MUSA(1)> checkcase 110 001 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 110 010 1000 MUSA(1)> checkcase 110 011 1001 MUSA(1)> checkcase 110 100 1010 musa: Warning: Verify failed: out has value 1010 not 0010. MUSA(1)> checkcase 110 101 1011 musa: Warning: Verify failed: out has value 1011 not 0011. MUSA(1)> checkcase 110 110 1100 MUSA(1)> checkcase 110 111 1101 MUSA(1)> checkcase 111 000 0111 musa: Warning: Verify failed: out has value 0111 not 1111. MUSA(1)> checkcase 111 001 1000 MUSA(1)> checkcase 111 010 1001 MUSA(1)> checkcase 111 011 1010 musa: Warning: Verify failed: out has value 1010 not 0010. MUSA(1)> checkcase 111 100 1011 musa: Warning: Verify failed: out has value 1011 not 0011. MUSA(1)> checkcase 111 101 1100 MUSA(1)> checkcase 111 110 1101 MUSA(1)> checkcase 111 111 1110 musa: Warning: Verify failed: out has value 1110 not 0110. MUSA(1)> ================================================================ Do you have any ideas what might cause this? Known bugs, or stupidity on my part? By the way, is there someone else I should be bothering with questions like this? I've tried sending mail to various addresses at Berkeley, but I haven't gotten any responses (yet). I hate to keep bothering you with questions. Thanks once again, Joe Evans Assistant Professor, Department of Electrical & Computer Engineering Telecommunications & Information Sciences Laboratory University of Kansas | Internet: evans@shannon.tisl.ukans.edu Lawrence, KS 66045-2228 | [129.237.116.210] (913) 864-4830 | Bitnet: evans%tisl@ukanvax.bitnet