tclbdd

Check-in [8f7b52fae4]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:remove dribble from bdd-12.13
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:8f7b52fae40228641f5dc142566e536cda7670a7
User & Date: kennykb 2013-11-30 17:50:56
Context
2013-12-01
01:09
Add test cases for Restrict and fix the bugs exposed thereby. check-in: 1ff84c529c user: kennykb tags: trunk
2013-11-30
17:50
remove dribble from bdd-12.13 check-in: 8f7b52fae4 user: kennykb tags: trunk
17:38
add circuit verification example check-in: 1513a7c798 user: kennykb tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to tests/bdd.test.

967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
		set cilit ci
	    } else {
		set cilit !ci
	    }
	    sys & input $cilit $ylit
	    sys & input input $xlit
	    if {$co} {
		puts "spec co |= $xlit & $ylit & $cilit"
		sys | spec_co spec_co input
	    }
	    if {$z} {
		puts "spec z |= $xlit & $ylit & $cilit"
		sys | spec_z spec_z input
	    }
	}

	puts "[sys satcount spec_co] [sys satcount spec_z]"

	# implementation is a gate array
	sys & gate1 x y
	sys ^ gate2 x y
	sys & gate3 gate2 ci
	sys ^ z gate2 ci
	sys | co gate1 gate3

	puts "[sys satcount co] [sys satcount z]"
	list [expr {[sys beadindex co] == [sys beadindex spec_co]}] \
	    [expr {[sys beadindex z] == [sys beadindex spec_z]}]
    }
    -cleanup {rename sys {}}
    -result {1 1}
}
		







<



<




<
<







<







967
968
969
970
971
972
973

974
975
976

977
978
979
980


981
982
983
984
985
986
987

988
989
990
991
992
993
994
		set cilit ci
	    } else {
		set cilit !ci
	    }
	    sys & input $cilit $ylit
	    sys & input input $xlit
	    if {$co} {

		sys | spec_co spec_co input
	    }
	    if {$z} {

		sys | spec_z spec_z input
	    }
	}



	# implementation is a gate array
	sys & gate1 x y
	sys ^ gate2 x y
	sys & gate3 gate2 ci
	sys ^ z gate2 ci
	sys | co gate1 gate3


	list [expr {[sys beadindex co] == [sys beadindex spec_co]}] \
	    [expr {[sys beadindex z] == [sys beadindex spec_z]}]
    }
    -cleanup {rename sys {}}
    -result {1 1}
}