‹‹ 上一主题 | 下一主题 ››
发新话题
打印

E语言正式成为了IEEE的标准！

snowsfly

版主

Rank: 7Rank: 7Rank: 7

总资产
3 晶元 
金币
0 金币 
1# 大 中 小 发表于 2006-4-4 11:31 PM  只看该作者

E语言正式成为了IEEE的标准！

具体见下面的网页 http://www.ieee1647.org/

TOP

5life

管理员

Rank: 9Rank: 9Rank: 9

总资产
7607 晶元 
金币
30 金币 
2# 大 中 小 发表于 2006-4-5 09:59 AM  只看该作者
snowsfly 是使用E语言的?
With your idea, Carry out together.

TOP

whynotxie

见习会员

Rank: 1

总资产
6 晶元 
金币
0 金币 
3# 大 中 小 发表于 2006-4-5 08:50 PM  只看该作者
specman用的E语言吧？

TOP

snowsfly

版主

Rank: 7Rank: 7Rank: 7

总资产
3 晶元 
金币
0 金币 
4# 大 中 小 发表于 2006-4-5 10:28 PM  只看该作者
specman是目前唯一的一个支持E语言的开发工具，呵呵

TOP

snowsfly

版主

Rank: 7Rank: 7Rank: 7

总资产
3 晶元 
金币
0 金币 
5# 大 中 小 发表于 2006-4-5 10:33 PM  只看该作者
to : 51life   偶在使用E，E语言博大精深，SV，Vera 的很多思想都是来自E的，目前国内讨论E的人太少了，很高兴在这里遇到同行啊

TOP

5life

管理员

Rank: 9Rank: 9Rank: 9

总资产
7607 晶元 
金币
30 金币 
6# 大 中 小 发表于 2006-4-5 11:16 PM  只看该作者
只是我没用过呀，只是久仰E语言大名，不过我是没机会用了呀。 公司过两月就有可能要培训学习SV了，以后可能项目都用SV。 好象有本电子书讲E语言的吧，谈谈对E语言的感想如何？ 另：把E语言这个版块交给你如何。^_^
With your idea, Carry out together.

TOP

cat2uk

正式会员

Rank: 2

总资产
2 晶元 
金币
0 金币 
7# 大 中 小 发表于 2006-4-8 01:02 AM  只看该作者
yes. we can download the LRM 0.6a from http://www.ieee1647.org/ . It is perfect!

TOP

seraph_ll

版主

Rank: 7Rank: 7Rank: 7

总资产
218 晶元 
金币
30 金币 
8# 大 中 小 发表于 2006-4-9 07:09 PM  只看该作者
hehe 看来我都落伍了 海没有听说过呵呵

TOP

kevin8228

见习会员

Rank: 1

总资产
301 晶元 
金币
30 金币 
9# 大 中 小 发表于 2006-4-11 11:06 PM  只看该作者
今天Cadence 的工程师演示了 E语言 的确很强

TOP

braveplus

见习会员

Rank: 1

总资产
1 晶元 
金币
0 金币 
10# 大 中 小 发表于 2006-4-19 11:49 AM  只看该作者
我以前用的是VERA, 现在主要是 E, 公司正在给RVM的培训, 以后可能要用SV, 但现在还没确定, 很高兴能在这里认识同行, 我们verification engineer好好努力

TOP

tthaonao

见习会员

Rank: 1

总资产
0 晶元 
金币
0 金币 
11# 大 中 小 发表于 2006-6-21 04:06 PM  只看该作者
e这个语言确实博大精神，主流的验证思想都能用e体现出来

TOP

tomb-ldf

见习会员

Rank: 1

总资产
0 晶元 
金币
0 金币 
12# 大 中 小 发表于 2007-12-21 05:35 PM  只看该作者
现在没人上这地方了?

TOP

‹‹ 上一主题 | 下一主题 ››
发新话题