例子:
DECLARE ORDER_NUM VARCHAR2(20);
BEGIN
SELECT S.ORDER_NUM INTO ORDER_NUM FROM SALES_ORDER S WHERE S.ID122344;
DBMS_OUTPUT.PUT_LINE(单号: || ORDER_NUM);
END; 在查询结果为空的情况下,以上代码会报错:未找到任何数据
解决方…
formal主要用于等价性检查,检查步骤如下:
1.Read design
2.Set up
3.Matching:Map corresponding signals between pairs of designs
4.Verification:Compare the logic cones that drive the mapped signals
二:…