LAVA
Magma Design Automation, Inc.NASDAQ
LAVA is defunct.
From other sites