# sqrt.run     
# build and run by   ecomp sqrt.e  -o sqrt.net
#                    esim < sqrt.run > sqrt.out
#                    diff sqrt.out sqrt.chk
esim load sqrt.net
puts "square root of positive numbers, no sign bit"
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00000000
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 11111111
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 11100001
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 11110000
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 10000000
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 10010000
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 11000000
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00000001
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00000010
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00000011
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00000100
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 00001111
esim run 100
puts "p= [esim show p], u= [esim show u]"
esim set p 01000000
esim run 100
puts "p= [esim show p], u= [esim show u]"
puts "sqrt.run finished"
exit