You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
247 B
7 lines
247 B
2 years ago
|
|
||
|
Exercise 3.33: Using primitive multiplier,
|
||
|
adder, and constant constraints, define a procedure averager that takes
|
||
|
three connectors a, b, and c as inputs and establishes the
|
||
|
constraint that the value of c is the average of the values of a
|
||
|
and b.
|