Bluespec - The Synthesizable Modeling Company™

Description: Bluespec, Inc. manufactures an ESL synthesis toolset that significantly accelerates hardware design & reduces verification costs.
Keywords: Verification, ESL, Behavioral synthesis, bluesptc