USA Spain Brazil Russia France Germany China Japan

Artificial Intelligence driven Marketing Communications

 
Jan 7, 2021 10:51 AM ET

악시오미제, RISC-V 인터내셔널 에 합류


악시오미제, RISC-V 인터내셔널 에 합류

iCrowd Newswire - Jan 7, 2021

엔드 투 엔드 공식 검증 기능으로 RISC-V 생태계 확장

Axiomise_formalISA__v2

영국 런던 – 2021년 1월 6일 – – Axiomise® RISC-V 인터내셔널에 합류, 비영리, 오픈 사양 RISC-V 교육 세트 아키텍처의 채택을 구동 하는 기업.

Axiomise는 RISC-V 구현을 검증하기 위한 고유한 자동화된 공식 인증 솔루션을 개척하는 데 관여해 왔습니다. 2020년에 출시된 차세대 포르피티이사® 앱에 힘을 실어주는 Axiomise 공식 증거 키트는 이미 최근 OpenHW 그룹의 CV32E40P와 같은 여러 RISC-V 코어와 2019년 ibex 및 0riscy 코어를 검증하는 데 사용되었으며, 버그 부재 및 코너 케이스 버그를 철저히 증명하고 있습니다.

“우리는전략 회원으로서 RISC-V 생태계에 대한 악시오미제(Axiomise)를 환영합니다. Axiomise는 RISC-V 설계 검증에 널리 적용되는 벤더 중립적인 공식 검증 방법론 및 도구에 중점을 두고 있으며, 우리는 그들의 협력과 기여를 기대합니다.

Axiomise 솔루션의 독특한 특징은 추상화 기반 교정 키트와 최초의 시나리오 커버리지 솔루션으로 구동되는 공급업체 중립적인 방법론입니다. 교정 키트는 복잡한 코어에 거의 100% 증명 수렴을 생성하고 설계 버그를 잡는 강력한 성능을 제공하는 반면, 커버리지 솔루션은 공식적인 검증 도구를 사용하여 관심의 기능적 시나리오를 완전히 시각화하고 입증할 수 있는 기능을 제공합니다.

® 공식적인 검증 경험이없는 사람이 버튼의 간단한 푸시와 함께 공식적인 속성 검사를 사용하여 시작, 전체 RISC-V 코어 종단간 확인, 개발 시간과 노력의 몇 달을 절약 할 수 있습니다.

“RISC-V 생태계에서 모든 사람이 특정 공구 공급업체에 갇히지 않고 공식적인 검증의 이점을 얻을 수 있어 RISC-V ISA가 모든 독점 아키텍처로부터 독립할 수 있는 것과 동일한 방식으로 검증 독립성이 달성될 수 있습니다.”

다르바리 박사는 2021년 첫 번째 액시오미스 팟캐스트에서 칼리스타 레드먼드와 이야기를 나눌 예정입니다. axiomise.com/podcasts내일 듣기 위해 조정하십시오.

액시오미제 소개

Axiomise는 최첨단 공식 검증 교육, 컨설팅 및 서비스를 제공합니다. Axiomise는 RISC-V를 위한 교육, 컨설팅, 서비스 및 전문 검증 솔루션의 고유한 조합을 통해 형식을 사용하도록 전념합니다. Axiomise는 지난 2 년 동안 공식적인 방법의 채택을 열정적으로 추진해 온 아시쉬 다르바리 박사에 의해 설립되었습니다. Darbari 박사는 업계 전반에 걸쳐 약 200명의 DV 엔지니어를 가르쳤으며, 공식적인 검증 분야에서 미국, 영국 및 EU 특허 35명을 보유한 열렬한 혁신가입니다.

공시오마이스: 예측 가능한 형식 검증.

다음 에서 액시오미제와 참여하십시오.

웹 사이트: www.axiomise.com 트위터: @axiomise 링크드 인: https://www.linkedin.com/company/axiomise/ 페이스 북: https://www.facebook.com/axiomise

액시오미제와 액시오미즈 로고는 영국 액시오미제 리미티드의 상표입니다. 포르메티에스는 액시오미제 리미티드의 등록 상표입니다. RISC-V는 RISC-V 인터내셔널의 등록 상표입니다.

Contact Information:

S Arora
71-75 Shelton Street
Covent Garden, London WC2H 9JQ
44 1923 562 877
marketing@axiomise.com



Tags:    Korean, United States, Wire