source: vis_dev/vis-2.1/examples/eight_queens/README @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis

File size: 296 bytes
Line 
1
2eight_queens.v:
3
4This example illustrates a reduction of the 8 queens problem to
5combinational equivalence checking. In particular, the design
6in eight_queens.v computes a 64 input, single output boolean function
7which is true iff the input is a valid positioning of queens
8on the chessboard.
9
Note: See TracBrowser for help on using the repository browser.