Lines Matching refs:notQ
696 led notQ(g, "~Q", verbose); in main() local
701 make_edge(output_port<1>(my_d_latch), notQ.get_in()); in main()
712 notQ.display(); in main()
714 assert((Q.get_value() == high) && (notQ.get_value() == low)); in main()
724 notQ.display(); in main()
726 assert((Q.get_value() == low) && (notQ.get_value() == high)); in main()
736 notQ.display(); in main()
738 assert((Q.get_value() == high) && (notQ.get_value() == low)); in main()
748 notQ.display(); in main()
750 assert((Q.get_value() == low) && (notQ.get_value() == high)); in main()
760 notQ.display(); in main()
762 assert((Q.get_value() == high) && (notQ.get_value() == low)); in main()