{"title":"串行ATA主机控制器:一种硬件实现","authors":"A.R. Fouli, M. El-Kharashi, H. El-Henawy","doi":"10.1109/IWSOC.2006.348262","DOIUrl":null,"url":null,"abstract":"This paper presents a pilot project in the serial advanced technology attachment interface controllers. It implements the SATA host controller based on the SATA2.5 standard. It shows how to enhance the hardware performance in both the implementation and the verification phases. Complete register transfer logic implementation of the host controller architecture is written in Verilog. PSL assertions are applied to fully test and verify the design. The design is being realized on Xilinx Virtex-II Pro FPGA","PeriodicalId":134742,"journal":{"name":"2006 6th International Workshop on System on Chip for Real Time Applications","volume":"237 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Serial ATA Host Controller: A Hardware Implementation\",\"authors\":\"A.R. Fouli, M. El-Kharashi, H. El-Henawy\",\"doi\":\"10.1109/IWSOC.2006.348262\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a pilot project in the serial advanced technology attachment interface controllers. It implements the SATA host controller based on the SATA2.5 standard. It shows how to enhance the hardware performance in both the implementation and the verification phases. Complete register transfer logic implementation of the host controller architecture is written in Verilog. PSL assertions are applied to fully test and verify the design. The design is being realized on Xilinx Virtex-II Pro FPGA\",\"PeriodicalId\":134742,\"journal\":{\"name\":\"2006 6th International Workshop on System on Chip for Real Time Applications\",\"volume\":\"237 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 6th International Workshop on System on Chip for Real Time Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWSOC.2006.348262\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 6th International Workshop on System on Chip for Real Time Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWSOC.2006.348262","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
摘要
本文介绍了一种串行先进技术连接接口控制器的试验方案。它基于SATA2.5标准实现了SATA主机控制器。它展示了如何在实现和验证阶段提高硬件性能。完整的寄存器传输逻辑实现的主控制器架构是用Verilog写的。应用PSL断言对设计进行全面测试和验证。该设计在Xilinx Virtex-II Pro FPGA上实现
Serial ATA Host Controller: A Hardware Implementation
This paper presents a pilot project in the serial advanced technology attachment interface controllers. It implements the SATA host controller based on the SATA2.5 standard. It shows how to enhance the hardware performance in both the implementation and the verification phases. Complete register transfer logic implementation of the host controller architecture is written in Verilog. PSL assertions are applied to fully test and verify the design. The design is being realized on Xilinx Virtex-II Pro FPGA