ExASIC
分享让工作更轻松

获取系统当前时间,生成SVSEED

python获取时间的方法

用time来获取和格式化当前时间。

import time

now = time.strftime("%Y%m%d%H%M%S", time.localtime(time.time()))
# or
# now = time.strftime("%Y%m%d%H%M%S", time.localtime())

print(now)

常用格式化符号:
%Y 四位数的年,如2019
%m 月,01-12
%d 天,00-31
%H 小时,00-23
%M 分钟,00-59
%S 秒,00-59

系统时间作为仿真SVSEED

由于秒是一直在变的,所以在Perl或者Shell里一般用秒来作为仿真种子。但python里的秒是符点数,而仿真器需要一个整数。所以我们需要自己做一个整数型种子。

import 

seed = time.strftime("1%d%H%M%S", time.localtime(time.time()))
print("-svseed " + seed)

例如,由于“20191022094010”超出了32bit整数的范围,我们把年份和月份去掉。另外天数可能是零开头,所以天数前面加一个1,变成“122094010”。

阅读数:
更多文章:文章目录
解惑专区
(支持markdown插入源代码)
欢迎使用ExASIC订阅服务
仅用于ExASIC最新文章通知,方便及时阅读。
友情链接: IC技术圈问答ReCclayCrazyFPGA