Tổng quan nghiên cứu

Trong xu hướng phát triển của ngành công nghệ vi mạch bán dẫn, kích thước bóng bán dẫn CMOS liên tục thu nhỏ qua các tiến trình từ 130nm, 65nm, 45nm xuống 14nm và tiến tới 10nm. Sự gia tăng mật độ tích hợp khiến bộ nhớ nhúng chiếm tới 94% tổng diện tích trên các chip hệ thống hiện đại, trong khi thời gian truy xuất của bộ nhớ tĩnh SRAM đạt tốc độ rất cao ở mức khoảng 2ns. Tuy nhiên, mật độ linh kiện càng dày đặc thì xác suất xuất hiện khiếm khuyết vật lý và lỗi logic sau chế tạo càng tăng cao, gây ảnh hưởng nghiêm trọng đến tỷ lệ thành phẩm. Phương pháp kiểm thử bộ nhớ từ bên ngoài truyền thống bộc lộ nhiều điểm nghẽn lớn do chi phí thiết bị đắt đỏ, băng thông truy cập chân tiếp xúc bị giới hạn và chất lượng kiểm thử suy giảm khi tốc độ xung nhịp tăng cao.

Nhằm giải quyết triệt để vấn đề này, đề tài tập trung nghiên cứu và thiết kế kiến trúc tự kiểm tra bộ nhớ nhúng có tính linh hoạt cao dành riêng cho SRAM. Mục tiêu cốt lõi là xây dựng một khối phần cứng kiểm thử hoàn chỉnh ở cấp độ truyền thanh ghi, có khả năng bao phủ toàn diện các mô hình lỗi phức tạp và dễ dàng cấu hình cho các dải dung lượng SRAM biến thiên linh hoạt từ 1Kx8 đến 64Kx64. Đồng thời, nghiên cứu phát triển một môi trường tự động sinh mã RTL tích hợp sẵn ba thuật toán kiểm thử mạnh mẽ, cho phép kiểm tra đồng thời tới 8 khối bộ nhớ độc lập.

Được thực hiện tại Trường Đại học Bách Khoa – Đại học Quốc gia Thành phố Hồ Chí Minh trong giai đoạn từ tháng 8 năm 2016 đến tháng 6 năm 2017, công trình mang lại giá trị thực tiễn to lớn. Kiến trúc đề xuất giúp cắt giảm hơn 40% chi phí kiểm thử chip và kiểm soát chặt chẽ độ trễ ghép kênh ở mức khoảng 200ps, tạo tiền đề vững chắc cho việc phát triển các giải pháp tự sửa lỗi trên chip tại thị trường vi mạch Việt Nam.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên nền tảng lý thuyết kiểm thử vi mạch số, lý thuyết mô hình hóa lỗi bộ nhớ bán dẫn và thuật toán kiểm tra chuyên dụng.

Thứ nhất, hệ thống mô hình lỗi trên SRAM được phân loại thành các nhóm lỗi vĩnh viễn và lỗi tạm thời. Các dạng lỗi phổ biến bao gồm lỗi dính giá trị cố định mức 0 hoặc mức 1, lỗi chuyển trạng thái khi ghi dữ liệu, lỗi giải mã địa chỉ và lỗi tương tác ghép giữa các ô nhớ lân cận gồm ghép nghịch đảo, ghép phụ thuộc và ghép động. Đặc biệt, nghiên cứu đi sâu vào lý thuyết lỗi nhạy mẫu lân cận gồm ba biến thể chính là lỗi nhạy mẫu chủ động, lỗi nhạy mẫu thụ động và lỗi nhạy mẫu tĩnh, xảy ra khi giá trị ô nhớ trung tâm bị chi phối bởi trạng thái của 4 ô nhớ xung quanh.

Thứ hai, nghiên cứu ứng dụng lý thuyết giải thuật kiểm thử dòng March và phương pháp lát gạch phân nhóm kết hợp đồ thị Euler và chuỗi Hamiltonian. Thuật toán MarchC- với 6 phần tử tác vụ tuần tự và thuật toán MarchA gồm 15 thao tác cơ bản được khai thác để phát hiện toàn bộ các lỗi dính, lỗi chuyển trạng thái và lỗi giải mã địa chỉ. Thuật toán nhạy mẫu cải tiến áp dụng kỹ thuật chia bàn cờ hai nhóm giúp rút ngắn không gian kiểm thử từ hàm tích phân bậc cao xuống còn 16 trường hợp chuyển đổi mẫu lân cận, tối ưu hóa đáng kể số chu kỳ xung nhịp cần thiết.

Mô hình thiết kế phần cứng được cụ thể hóa bằng kiến trúc máy trạng thái hữu hạn cho khối điều khiển kết hợp với khối đường truyền dữ liệu thực thi tạo địa chỉ, phát sinh mẫu dữ liệu và so sánh tín hiệu đọc về.

Phương pháp nghiên cứu

Phương pháp nghiên cứu kết hợp giữa mô hình hóa toán học, thiết kế vi mạch ở cấp độ truyền thanh ghi và kiểm chứng vật lý trên công nghệ bán dẫn chuẩn.

Về nguồn dữ liệu và cỡ mẫu kiểm chứng, nghiên cứu đã xây dựng một tập mẫu kiểm thử toàn diện gồm 16 tổ hợp chuyển trạng thái mẫu lân cận của 4 ô nhớ bao quanh và 3 trường hợp lỗi thực nghiệm được tiêm trực tiếp tại các vị trí địa chỉ bộ nhớ đại diện là 64H tương ứng giá trị thập phân 100, 7E0H tương ứng giá trị thập phân 2016, và C350H tương ứng giá trị thập phân 5000. Phương pháp chọn mẫu có chủ đích được áp dụng nhằm đánh giá triệt để khả năng phát hiện lỗi ở cả vùng địa chỉ cận dưới, cận trên và vùng trung tâm của các cấu hình SRAM từ 1Kx8 đến 64Kx64.

Lý do lựa chọn phương pháp phân tích mô phỏng dạng sóng theo chu kỳ thời gian thực và tổng hợp logic lớp cổng là vì phương pháp này cho phép đánh giá chính xác các tham số kỹ thuật then chốt như độ bao phủ lỗi, diện tích chiếm dụng silicon, độ trễ lan truyền và công suất tiêu thụ tĩnh lẫn động.

Quy trình thiết kế sử dụng ngôn ngữ mô tả phần cứng Verilog, tiến hành kiểm tra chức năng bằng môi trường kiểm thử tự động, sau đó thực hiện tổng hợp lớp cổng logic và quy hoạch vị trí đường dây thông qua thư viện công nghệ TSMC 90nm với cấu trúc từ 6 đến 8 lớp kim loại trong suốt mốc thời gian từ ngày 15/08/2016 đến ngày 18/06/2017.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình mô phỏng và thực nghiệm vật lý đã mang lại bốn kết quả nổi bật, khẳng định tính ưu việt của kiến trúc đề xuất:

Thứ nhất, kiến trúc đạt độ bao phủ lỗi 100% đối với toàn bộ các mô hình lỗi thông dụng trên SRAM. Việc tích hợp đồng thời ba giải thuật MarchC-, MarchA và thuật toán nhạy mẫu lân cận cho phép khối kiểm thử phát hiện chính xác tất cả các lỗi dính giá trị, lỗi chuyển trạng thái, lỗi giải mã địa chỉ và toàn bộ 16 trường hợp lỗi nhạy mẫu lân cận phức tạp mà các thuật toán đơn lẻ không thể xử lý được.

Thứ hai, nghiên cứu đã chứng minh khả năng mở rộng quy mô linh hoạt vượt trội. Hệ thống hỗ trợ kiểm thử thành công các cấu hình SRAM có dung lượng biến thiên từ 1Kx8 đến 64Kx64 mà không cần thiết kế lại lõi điều khiển. Khối phân kênh cho phép kết nối và kiểm tra đồng thời tới 8 khối bộ nhớ riêng biệt, giúp tiết kiệm đáng kể thời gian chuyển đổi cấu hình.

Thứ ba, các kết quả kiểm chứng tại các địa chỉ tiêm lỗi 64H, 7E0H và C350H cho thấy cờ báo lỗi được kích hoạt chính xác 100% ngay tại chu kỳ xung nhịp phát hiện sai lệch dữ liệu. Thời gian phản hồi tín hiệu lỗi diễn ra tức thì, không phát sinh hiện tượng cảnh báo sai.

Thứ tư, kết quả tổng hợp vật lý trên thư viện công nghệ TSMC 90nm chứng minh kiến trúc tối ưu hóa diện tích cực tốt, mức tiêu thụ công suất thấp và kiểm soát độ trễ đường truyền qua bộ dồn kênh ở mức xấp xỉ 200ps, hoàn toàn không làm suy giảm tần số hoạt động danh định của SRAM tốc độ cao 2ns.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp kiến trúc đạt hiệu quả cao là nhờ thiết kế phân tầng thông minh giữa khối điều khiển trạng thái và khối tạo dữ liệu đường truyền. Bằng cách mã hóa các bit lựa chọn chế độ hoạt động gồm giá trị 0 cho MarchC-, giá trị 1 cho thuật toán nhạy mẫu và giá trị 2 cho MarchA, bộ điều khiển trung tâm dễ dàng chuyển đổi giải thuật mà không làm tăng độ phức tạp phần cứng.

So sánh với các công trình công bố quốc tế giai đoạn 2005-2013, nhiều nghiên cứu trước đây chỉ hỗ trợ một cấu hình bộ nhớ cố định duy nhất như 1Kx8 hoặc ghép cố định 8Kx48, gây lãng phí từ 30% đến 50% tài nguyên phần cứng khi áp dụng cho các dung lượng khác nhau. Kiến trúc trong luận văn đã khắc phục hoàn toàn nhược điểm này nhờ cơ chế phát sinh địa chỉ động.

Dữ liệu nghiên cứu được trình bày trực quan thông qua các bảng thống kê độ bao phủ lỗi, bảng so sánh diện tích chiếm dụng silicon theo từng mức tần số xung nhịp, và hệ thống biểu đồ dạng sóng thời gian thực. Các biểu đồ mô phỏng thể hiện rõ nét sự đồng bộ giữa tín hiệu đồng hồ, bus địa chỉ và cờ chỉ thị lỗi logic, chứng minh tính tin cậy tuyệt đối của giải pháp khi chuyển dịch từ mô hình mô phỏng sang lớp silicon vật lý.

Đề xuất và khuyến nghị

Dựa trên các phát hiện thực nghiệm, nghiên cứu đề xuất 4 giải pháp trọng tâm nhằm hoàn thiện và thương mại hóa kiến trúc:

Thứ nhất, tích hợp trực tiếp khối tự sửa lỗi bộ nhớ vào kiến trúc hiện tại nhằm xây dựng giải pháp toàn diện trên chip, hướng tới mục tiêu nâng tỷ lệ xuất xưởng vi mạch đạt trên 98% trong vòng 12 tháng tới. Chủ thể thực hiện là các nhóm nghiên cứu thiết kế vi mạch chuyên sâu tại các viện nghiên cứu và trường đại học.

Thứ hai, tối ưu hóa cấu trúc mạch dồn kênh phân tán để cắt giảm độ trễ tín hiệu từ mức 200ps xuống dưới 150ps, đáp ứng các tiến trình công nghệ sâu hơn như 45nm và 28nm trong lộ trình 6 tháng. Chủ thể thực hiện là các kỹ sư thiết kế vật lý và kỹ sư layout vi mạch số.

Thứ ba, nâng cấp môi trường sinh mã tự động RTL để hỗ trợ thêm các dòng bộ nhớ đa cổng truy xuất đồng thời và bộ nhớ động DRAM, nhằm tăng mức độ tự động hóa quy trình thiết kế kiểm thử lên 90% trong giai đoạn 18 tháng. Chủ thể thực hiện là các đơn vị phát triển công cụ tự động hóa thiết kế điện tử nội địa.

Thứ tư, xây dựng bộ thư viện IP kiểm thử chuẩn hóa phục vụ các chương trình đào tạo và dự án sản xuất vi mạch quốc gia trong thời hạn 2 năm. Chủ thể thực hiện là Ban điều hành chương trình phát triển công nghiệp vi mạch và các doanh nghiệp thiết kế bán dẫn tại Việt Nam.

Đối tượng nên tham khảo luận văn

Luận văn là tài liệu tham khảo học thuật và kỹ thuật giá trị cao dành cho 4 nhóm đối tượng cụ thể:

Nhóm thứ nhất là các kỹ sư thiết kế vi mạch số và kỹ sư kiểm thử thiết kế. Tài liệu cung cấp giải pháp thực tế để nhúng khối tự kiểm tra linh hoạt vào các vi mạch hệ thống phức tạp, giúp rút ngắn thời gian đưa sản phẩm ra thị trường và tối ưu diện tích silicon.

Nhóm thứ hai là các nhà máy chế tạo bán dẫn và doanh nghiệp gia công đóng gói chip. Đơn vị sản xuất có thể ứng dụng môi trường sinh RTL tự động để cắt giảm hơn 40% chi phí đầu tư cho các hệ thống máy đo kiểm thử bên ngoài đắt đỏ.

Nhóm thứ ba là giảng viên, nghiên cứu sinh và sinh viên chuyên ngành Kỹ thuật Điện tử, Vi điện tử và Kỹ thuật Máy tính. Công trình đóng vai trò là giáo trình thực hành chuyên sâu về mô hình hóa lỗi SRAM, thiết kế máy trạng thái và quy trình tổng hợp vật lý trên công nghệ 90nm.

Nhóm thứ tư là các nhà hoạch định chính sách phát triển công nghệ cao và ban quản lý các khu công nghệ cao. Luận văn cung cấp luận cứ kỹ thuật vững chắc để xây dựng năng lực tự chủ trong khâu thiết kế và kiểm thử vi mạch tại Việt Nam.

Câu hỏi thường gặp

Kiến trúc MBIST đề xuất vượt trội hơn phương pháp MBOST truyền thống ở những điểm nào?

Kiến trúc MBIST được tích hợp trực tiếp trên chip giúp kiểm tra bộ nhớ ở tốc độ hoạt động thực tế 2ns, loại bỏ nhu cầu sử dụng các thiết bị đo ngoài đắt tiền. Giải pháp này giúp cắt giảm hơn 40% chi phí kiểm thử, giảm thiểu số chân giao tiếp ngoại vi và loại bỏ hoàn toàn sự suy hao tín hiệu trên đường truyền dài của phương pháp MBOST.

Thuật toán TLAPNPSF giải quyết được những dạng lỗi phức tạp nào trên SRAM?

Thuật toán TLAPNPSF kết hợp phương pháp lát gạch hai nhóm và chuỗi Hamiltonian giúp phát hiện toàn bộ 16 trường hợp lỗi nhạy mẫu lân cận gồm lỗi chủ động, lỗi thụ động và lỗi tĩnh. Thuật toán kiểm soát triệt để hiện tượng giá trị ô nhớ trung tâm bị đảo lộn do sự chuyển đổi trạng thái đồng thời từ 4 ô nhớ xung quanh.

Dải dung lượng và số lượng bộ nhớ mà kiến trúc có thể hỗ trợ kiểm tra là bao nhiêu?

Kiến trúc hỗ trợ cấu hình dung lượng bộ nhớ linh hoạt từ mức 1Kx8 lên tới 64Kx64 thông qua bộ đếm địa chỉ tùy biến. Ngoài ra, khối giải mã phân kênh tích hợp cho phép kết nối và kiểm tra đồng thời tới 8 khối SRAM độc lập trong cùng một hệ thống vi mạch mà không cần chỉnh sửa mã nguồn RTL.

Làm thế nào để xử lý độ trễ lan truyền 200ps sinh ra từ bộ phân kênh của khối kiểm thử?

Độ trễ 200ps được kiểm soát chặt chẽ trong quá trình tổng hợp vật lý bằng cách thiết lập các ràng buộc thời gian nghiêm ngặt trên thư viện TSMC 90nm. Việc quy hoạch tối ưu từ 6 đến 8 lớp kim loại giúp cân bằng cây xung nhịp và tối ưu đường truyền dữ liệu, đảm bảo không gây suy giảm tần số làm việc của SRAM.

Giá trị thực tiễn của việc tổng hợp vật lý trên thư viện TSMC 90nm là gì?

Việc tổng hợp trên thư viện chuẩn TSMC 90nm chứng minh tính khả thi của thiết kế khi chuyển giao sang sản xuất thương mại. Kết quả thực nghiệm cung cấp các thông số chính xác về diện tích cell, công suất tiêu thụ và khả năng định tuyến dây nối, làm cơ sở tin cậy để triển khai trên các dây chuyền chế tạo vi mạch thực tế.

Kết luận

  • Luận văn đã thiết kế thành công kiến trúc vi mạch tự kiểm tra bộ nhớ có tính linh hoạt cao, bao phủ 100% các mô hình lỗi thông dụng trên bộ nhớ SRAM.
  • Tích hợp hoàn chỉnh ba thuật toán kiểm thử mạnh mẽ gồm MarchC-, MarchA và thuật toán nhạy mẫu lân cải tiến trên nền tảng máy trạng thái hữu hạn tối ưu.
  • Hỗ trợ dải dung lượng bộ nhớ biến thiên rộng từ 1Kx8 đến 64Kx64 và kiểm tra đồng thời tới 8 khối bộ nhớ riêng biệt với độ trễ ghép kênh chỉ khoảng 200ps.
  • Xây dựng thành công môi trường tự động sinh mã RTL và kiểm chứng vật lý hoàn chỉnh trên tiến trình công nghệ bán dẫn TSMC 90nm.
  • Đóng góp giải pháp công nghệ quan trọng giúp nâng cao năng suất sản xuất và thúc đẩy năng lực tự chủ thiết kế vi mạch tại Việt Nam trong lộ trình phát triển 12 đến 24 tháng tới.

Các tổ chức nghiên cứu, doanh nghiệp bán dẫn và kỹ sư vi mạch hãy nhanh chóng tiếp cận và ứng dụng giải pháp kiến trúc MBIST linh hoạt này vào các quy trình phát triển chip chuyên dụng để tối ưu hóa chi phí sản xuất và nâng cao chất lượng sản phẩm thương mại.