- TOP là một generic.
7.5.QUY TẮC MẶC ĐỊNH (default rules)
generic(PT_HL,PT_LH: TIME);
7.5.QUY TẮC MẶC ĐỊNH (default rules)
Một số lượng lớn thủ tục bổ sung được giới thiệu nếu các mối liên kết cho mỗi thành phần trong thiết kế được đặc tả độc lập. Một cách tiện lợi, ngơn ngữ cung cấp các quy tắc liên kết mặc định. Với mỗi náác thành phần (componentinstance) khơng ràng buộc:
- Một thực thể khả kiến và cùng tên với thành phần được dùng để liên kết với náác (instance); nếu khơng tồn tại một thực thể như vậy, một dấu hiệu liên kết (binding indication) mặc định của “use open” được sử dụng.
- Phần lớn cấu trúc đã phân tích mới nhất cho thực thể được sử dụng; cĩ lỗi nếu khơng cĩ một kiến trúc (architecture) nào tồn tại.
- Với mỗi cổng hoặc generic trong náác thành phần (componentinstance), phải tồn tại một cổng hoặc
generic tương ứng trong thực thể (entity) cĩ tên, kiểu (type) và chế độ (mode) phù hợp; bất kỳ các cổng hoặc generic nào trong thực thể mà khơng kiên kết được xem như mở (open); nếu thiếu, nĩ là một lỗi.
Các quy tắc mặc định giúp tránh các mối liên kết đặc biệ trong các trường hợp tên thành phần trùng với tên thực thể, một tiện lợi khác nữa là nĩ cho phép dùng tên thành phần chuẩn như là SN7400 và SN7402. Trong các trường hợp này, khơng cĩ kiên kết nào kà cần thiết. Tuy nhiên, một cấu hình tối thiểu đơi khi cũng cĩ thể cần thiéát. Nĩ cĩ thể cĩ dạng:
library TTL_LIB; configuration TLC_CON of TLC is for TLC_STRUCTURE use TTL_LIB.all; end for; end TLC_CON;
TLC là một thực thể đơi khi tạo nấc thành phần (componentinstantiation) đã định nghĩa bên trong thân kiến trúc (architecture body) của nĩ. Câu lệnh “use TTL_LIB.all” làm cho tất cả các thực thể trong thư viện TTL_LIB khả kiến. Vì vậy, các thực thể này sẽ buộc tới các nấc thành phần trong thân thân kiến trúc bằng quy tắc mặc định.