WP_Term Object
(
    [term_id] => 18245
    [name] => Axiomise
    [slug] => axiomise
    [term_group] => 0
    [term_taxonomy_id] => 18245
    [taxonomy] => category
    [description] => 
    [parent] => 386
    [count] => 12
    [filter] => raw
    [cat_ID] => 18245
    [category_count] => 12
    [category_description] => 
    [cat_name] => Axiomise
    [category_nicename] => axiomise
    [category_parent] => 386
    [is_post] => 
)
            
Axiomise Logo
WP_Term Object
(
    [term_id] => 18245
    [name] => Axiomise
    [slug] => axiomise
    [term_group] => 0
    [term_taxonomy_id] => 18245
    [taxonomy] => category
    [description] => 
    [parent] => 386
    [count] => 12
    [filter] => raw
    [cat_ID] => 18245
    [category_count] => 12
    [category_description] => 
    [cat_name] => Axiomise
    [category_nicename] => axiomise
    [category_parent] => 386
    [is_post] => 
)

Life in a Formal Verification Lane

Life in a Formal Verification Lane
by Shinavi Shah on 06-22-2021 at 6:00 am

New image for semiwiki

This summer, I got the opportunity to work as a Formal Verification Intern with Axiomise for six weeks. I’m a keen designer and love working in design and architecture. Although, I’ve not started my professional career yet, I have done most of my projects as a designer in my undergraduate and postgraduate studies.

Having said that,… Read More


Why I made the world’s first on-demand formal verification course

Why I made the world’s first on-demand formal verification course
by Ashish Darbari on 04-18-2021 at 6:00 am

formal use model 2


Verification Challenge
As chip design complexity continues to grow astronomically with hardware accelerators running riot with the traditional hardware comprising CPUs, GPUs, networking and video and vision hardware, concurrency, control and coherency will dominate the landscape of verification complexity for safe … Read More