这个起手不难， 可以找些Junior的人来培养

【 在 littleagle 的大作中提到: 】
: 板上有熟悉formal验证，想专职做formal的不？
: 虽然小众，但这个方向可见的是会使用的越来越广泛，趋势是确定的。
: 我在某大厂新建了个团队，面向risc-v专职做formal验证，人才奇缺，有兴趣可以站内联系。最好是上海（目前团队人才都在上海），不过北京，杭州也有site
: ...................
--
FROM 139.226.59.*