I am trying to utilize the ISCAS89 Benchmarks, and have found some verilog models for testing. However, I cannot find an explanation of what the circuits are actually doing.
Is there a good reference that describes the operation of each of the benchmark circuits (in particular, s1488)?