Users on NextOp BugScope, Zocalo Zazz, Breker Trek at DAC

 The BugScope DAC demo was my first conversation with NextOp - though
another team in my company had done an initial evaluation of their
assertion synthesis tool.

I'm a verification manager and what makes BugScope interesting to me
that it can automatically generate assertions and functional coverage
without much input from engineers.

We can rerun our regression using the new properties and see if any of
the assertions fire and find bugs.

NextOp BugScope        Step 1: Analyzes the input (RTL) design and stimulus,
and  synthesizes properties

I'm interested in tools to get coverage metrics, and possibly improve the 
coverage in an automatic way (that is, no functional coverage).

The primary functionality that was of interest to me with NextOp BugScope
  Assertion Synthesis was using their assertions to find out the functional
  coverage holes in our signoff test suites for different IPs being   
designed in our company.

I'm impressed by BugScope's ability to produce assertions automatically.