- Med finansiering på plats kan vi öka takten i vår marknadsföring, säger vd Håkan Rippe i ett pressmeddelande.
- Vi håller på att bygga upp ett nät av agenter och funderar på att starta ett eget kontor i USA till nästa sommar, förtydligar marknadschefen Jim Nordin.
Pengarna kommer också att användas för att accelerera produktutvecklingen.
- Innan vi satsar på USA måste vi ha fullt stöd för konstruktionsspråket Verilog. Idag har vi fullt stöd för VHDL, men bara delvis för Verilog.
- Pengarna innebär att vi kan göra en marknadsplan som sträcker sig 12-18 månader framåt i tiden. Tidigare har vi haft en horisont på sex månader, säger han.
Jim Nordin vill inte ange hur många kunder eller kundinstallationer företaget har, bara att Saab Ericsson Space hör till de tidiga användarna. Han berättar dock att verktyget använts till flera konstruktioner som resulterat i färdiga, fungerande kretsar.
Safelogic gör verktyg för formell verifiering och så kallad egenskapsbaserad - property based - verifiering. Det innebär en delvis ny metodik för många konstruktörer, och enligt Jim Nordin har denna metodik vunnit mycket acceptans under året.
- Vi förespråkar att man implementerar egenskaper i PSL, det standardiserade språk vi använder, tidigt i konstruktionsarbetet. Helst redan då specifikationen går in i konstruktionsstadiet. Steget till formell verifiering går via egenskapsbaserad simulering, och om man börjar tänka i termer av egenskaper tidigt så blir steget enkelt, samtidigt som man hittar felen där de är billigast att åtgärda, säger han.
Adam Edström