We assign optimal state names for a two level PLA table. We use the
`nova' tool for the state assignment, which uses `espresso' logic
minimizer in the background.

Change-Id: Iefcff366ca5dc252cc23c8aacdc20954e13d0cce