# Benchmark "and_latch" written by ABC on Wed Mar 11 10:36:28 2020
.model and_latch
.inputs a b clk
.outputs c d

.latch n1 d  re clk 0

.names a b c
11 1

.names c n1
1 1

.end