conceptual design, design verification, functionality constrains, constraint propagation, graphs.pdf